15 results found Sort:

ocaml
ocaml ocaml
1.1k
5.2k
other
203
The core OCaml system: compilers, runtime system, base libraries
ocaml compiler functional-language
Created 2012-11-20
30,652 commits to trunk branch, last one a day ago
evhub
coconut evhub
119
4.0k
apache-2.0
62
Simple, elegant, Pythonic functional programming.
xonsh python coconut xontrib compiler language functional functional-language programming-language functional-programming
Created 2014-10-04
5,119 commits to master branch, last one 3 months ago
roc-lang
roc roc-lang
270
3.7k
upl-1.0
117
A fast, friendly, functional language.
language roc-lang functional-language functional-programming
Created 2019-01-20
28,672 commits to main branch, last one 23 hours ago
janet-lang
janet janet-lang
214
3.3k
mit
64
A dynamic language and bytecode vm
c vm lisp repl macros language interpreter functional-language imperative-language
Created 2017-03-10
4,257 commits to master branch, last one 5 days ago
sdiehl
write-you-a-haskell sdiehl
256
3.3k
mit
192
Building a modern functional compiler from first principles. (http://dev.stephendiehl.com/fun/)
book type haskel compiler pdf-book evaluation type-system type-theory type-checking hindley-milner type-inference lambda-calculus functional-language functional-programming intermediate-representation
Created 2015-01-05
299 commits to master branch, last one 7 years ago
curv3d
curv curv3d
72
1.1k
apache-2.0
31
a language for making art using mathematics
3d csg language generative-art solid-modeling creative-coding functional-language signed-distance-field function-representation
This repository has been archived (exclude archived)
Created 2017-05-15
3,943 commits to master branch, last one 8 months ago
leostera
caramel leostera
24
1.0k
apache-2.0
25
:candy: a functional language for building type-safe, scalable, and maintainable applications
ocaml elixir erlang caramel compiler type-safe functional-language
Created 2020-09-03
644 commits to main branch, last one about a year ago
Hirrolot
metalang99 Hirrolot
24
811
mit
18
Full-blown preprocessor metaprogramming
c fp c99 cpp cpp11 macros language metalang99 header-only interpreter metaprogramming embedded-language functional-language programming-language functional-programming
Created 2020-09-18
1,681 commits to master branch, last one about a month ago
SandroMaglione
fpdart SandroMaglione
44
503
mit
11
Functional programming in Dart and Flutter. All the main functional programming types and patterns fully documented, tested, and with examples.
cats dart fp-ts fpdart flutter dartlang functional dart-package dart-functional flutter-package flutter-favorite flutter-functional functional-language functional-programming dart-functional-programming functional-programming-examples
Created 2021-05-28
453 commits to main branch, last one 4 months ago
never-lang
never never-lang
8
425
mit
19
Never: statically typed, embeddable functional programming language.
compiler language compilers virtual-machine scripting-language functional-language programming-language functional-programming
Created 2018-05-26
599 commits to master branch, last one 19 days ago
morloc-project
morloc morloc-project
4
193
gpl-3.0
9
A typed, polyglot, functional language
language polyglot ontologies type-system code-generation interoperability functional-language programming-language
Created 2016-12-02
2,294 commits to master branch, last one 25 days ago
yantrajs
yantra yantrajs
7
186
apache-2.0
8
JavaScript Engine for .NET Standard
csharp dotnet parser apache2 library netcore commonjs compiler standard yantrajs javascript async-await dotnet-core net-standard csharp-library javascript-engine generator-function functional-language javascript-compiler
Created 2020-04-18
1,888 commits to main branch, last one about a month ago
AnyDSL
impala AnyDSL
12
150
gpl-3.0
41
An imperative and functional programming language
cpu gpu simd compiler vectorization partial-evaluators functional-language domain-specific-language continuation-passing-style imperative-programming-language
Created 2014-07-04
3,478 commits to master branch, last one 7 months ago
paulofalcao
MaterialMakerRayMarching paulofalcao
4
63
mit
4
Make complex Ray Marching SDF objects using nodes with the Material Maker editor and this library
3d csg sdf glsl nodes nodebased raymarching material-maker functional-language procedural-generation signed-distance-field signed-distance-functions
Created 2021-04-25
64 commits to main branch, last one about a year ago
rusini
manool rusini
3
60
gpl-3.0
5
Fairly readable homoiconic language with primarily value (non-referential) semantics that balances the programmer's productivity with scalability
compiler practical functional homoiconic imperative procedural development interpreter programming multi-paradigm strongly-typed functional-core general-purpose dynamically-typed functional-language programming-language software-development functional-programming imperative-programming procedural-programming
Created 2019-07-21
409 commits to master branch, last one 14 days ago