mazeppa-dev/mazeppa
A modern supercompiler for call-by-value functional languages
Language:OCaml
Total stars: 199
Stars trend:
#ocaml
#compiler, #functional, #functionalprogramming, #intermediaterepresentation, #language, #optimization, #performance, #programanalysis, #programminglanguage, #staticanalysis, #supercompiler, #symbolicexecution
A modern supercompiler for call-by-value functional languages
Language:OCaml
Total stars: 199
Stars trend:
14 Jul 2024
10am █▏ +9
11am █▎ +10
12pm ▋ +5
1pm █▎ +10
2pm ▋ +5
3pm ▋ +5
4pm ▉ +7
5pm █▎ +10
6pm █ +8
7pm █▏ +9#ocaml
#compiler, #functional, #functionalprogramming, #intermediaterepresentation, #language, #optimization, #performance, #programanalysis, #programminglanguage, #staticanalysis, #supercompiler, #symbolicexecution
anzellai/sky
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
Language:Go
Total stars: 152
Stars trend:
#go
#compiler, #compilestogo, #elminspired, #fullstack, #functionalprogramming, #go, #liveview, #lsp, #programminglanguage, #serverdrivenui, #skylanguage, #sse, #typeinference, #typescript
Sky — an Elm-inspired language that compiles to Go. Hindley-Milner types, server-driven UI (Sky.Live), single binary output.
Language:Go
Total stars: 152
Stars trend:
6 Apr 2026
10am ▏ +1
11am +0
12pm ▏ +1
1pm +0
2pm +0
3pm +0
4pm +0
5pm ▍ +3
6pm █▏ +9
7pm ▋ +5
8pm ▍ +3
9pm ▍ +3#go
#compiler, #compilestogo, #elminspired, #fullstack, #functionalprogramming, #go, #liveview, #lsp, #programminglanguage, #serverdrivenui, #skylanguage, #sse, #typeinference, #typescript