15 results found Sort:

ocaml
ocaml ocaml
1.1k
5.7k
other
206
The core OCaml system: compilers, runtime system, base libraries
ocaml compiler functional-language
Created 2012-11-20
32,195 commits to trunk branch, last one 10 hours ago
roc-lang
roc roc-lang
331
4.9k
upl-1.0
112
A fast, friendly, functional language.
language roc-lang hacktoberfest functional-language functional-programming
Created 2019-01-20
31,711 commits to main branch, last one 10 hours ago
evhub
coconut evhub
126
4.2k
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 7 months ago
janet-lang
janet janet-lang
236
3.8k
mit
63
A dynamic language and bytecode vm
c vm lisp repl macros language interpreter functional-language imperative-language
Created 2017-03-10
4,578 commits to master branch, last one 6 days ago
sdiehl
write-you-a-haskell sdiehl
256
3.4k
mit
190
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 8 years ago
curv3d
curv curv3d
73
1.1k
apache-2.0
30
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
24
: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
27
918
mit
16
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,433 commits to master branch, last one about a month ago
SandroMaglione
fpdart SandroMaglione
47
578
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
459 commits to main branch, last one 5 months ago
never-lang
never never-lang
11
446
mit
18
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 11 months ago
yantrajs
yantra yantrajs
7
244
apache-2.0
9
JavaScript Engine for .NET
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,963 commits to main branch, last one about a month ago
morloc-project
morloc morloc-project
4
196
gpl-3.0
7
A typed, polyglot, functional language
language polyglot ontologies type-system code-generation interoperability functional-language programming-language
Created 2016-12-02
2,459 commits to master branch, last one about a month ago
AnyDSL
impala AnyDSL
15
153
gpl-3.0
39
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,482 commits to master branch, last one 3 months ago
paulofalcao
MaterialMakerRayMarching paulofalcao
4
74
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 2 years ago
rusini
manool rusini
3
63
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 11 months ago