15 results found Sort:

ocaml
ocaml ocaml
1.1k
5.5k
other
206
The core OCaml system: compilers, runtime system, base libraries
ocaml compiler functional-language
Created 2012-11-20
31,462 commits to trunk branch, last one 21 hours ago
roc-lang
roc roc-lang
314
4.5k
upl-1.0
111
A fast, friendly, functional language.
language roc-lang hacktoberfest functional-language functional-programming
Created 2019-01-20
29,969 commits to main branch, last one 14 hours ago
evhub
coconut evhub
125
4.1k
apache-2.0
59
Simple, elegant, Pythonic functional programming.
xonsh python coconut xontrib compiler language functional functional-language programming-language functional-programming
Created 2014-10-04
5,200 commits to master branch, last one 2 months ago
janet-lang
janet janet-lang
227
3.5k
mit
65
A dynamic language and bytecode vm
c vm lisp repl macros language interpreter functional-language imperative-language
Created 2017-03-10
4,457 commits to master branch, last one 3 days ago
sdiehl
write-you-a-haskell sdiehl
255
3.4k
mit
191
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
73
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 about a year ago
leostera
caramel leostera
25
1.1k
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 2 years ago
hirrolot
metalang99 hirrolot
25
874
mit
17
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,691 commits to master branch, last one 2 days ago
SandroMaglione
fpdart SandroMaglione
45
544
mit
12
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
459 commits to main branch, last one 13 days ago
never-lang
never never-lang
10
435
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 6 months ago
yantrajs
yantra yantrajs
7
227
apache-2.0
9
JavaScript Engine for .NET Standard
csharp dotnet parser library netcore compiler standard yantrajs javascript async-await dotnet-core net-standard csharp-library javascript-engine generator-function javascript-engines javascript-runtime functional-language javascript-compiler
Created 2020-04-18
1,918 commits to main branch, last one 16 days ago
morloc-project
morloc morloc-project
4
195
gpl-3.0
8
A typed, polyglot, functional language
language polyglot ontologies type-system code-generation interoperability functional-language programming-language
Created 2016-12-02
2,376 commits to master branch, last one 11 days ago
AnyDSL
impala AnyDSL
12
153
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,481 commits to master branch, last one 2 days ago
paulofalcao
MaterialMakerRayMarching paulofalcao
4
67
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
62
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 6 months ago