|
JavaScript |
3 |
Filling Typed Holes with Live GUIs |
Jan 25, 2023 |
|
TypeScript |
20 |
Typed functional programming utilities |
Apr 18, 2023 |
|
None |
7 |
A Dependently Typed Functional Programming Language |
Jul 12, 2022 |
|
Haskell |
7 |
A Dependently Typed Functional Programming Language |
Jul 17, 2019 |
|
Haskell |
3363 |
A Dependently Typed Functional Programming Language |
Aug 22, 2022 |
|
Haskell |
2 |
a typed, functional, concurrent programming language |
Jan 29, 2023 |
|
Haskell |
37 |
A statically typed functional programming language. |
Jul 28, 2022 |
|
Haskell |
2 |
A Dependently Typed Functional Programming Language |
Aug 04, 2014 |
|
TypeScript |
2 |
Statically-typed purely functional programming language |
Nov 19, 2021 |
|
TypeScript |
2 |
Minimal typed functional programming in TypeScript |
Mar 04, 2023 |
|
Haskell |
5 |
Dependently typed purely functional programming language |
Sep 08, 2020 |
|
None |
2 |
Functional visual programming environment |
Jul 01, 2021 |
|
TeX |
5 |
Submission: "Livelits: Filling Typed Holes with Live GUIs (Extended Abstract)" to TyDe 2019 (ICFP workshop) |
Jul 02, 2021 |
|
C++ |
11 |
General purpose, statically typed, functional programming language |
Jul 08, 2022 |
|
Kotlin |
4 |
Statically-typed, strict, purely functional programming language |
Mar 29, 2022 |
|
Rust |
3 |
Minimal, interpreted, statically typed functional programming language. |
Aug 01, 2022 |
|
Haskell |
2 |
Statically-typed functional and concatenative programming language |
Apr 21, 2023 |
|
Rust |
2 |
[WIP] A statically typed, functional programming language. |
Apr 26, 2023 |
|
JavaScript |
17 |
Reactive Live Programming Environment |
Oct 09, 2021 |
|
Dart |
7 |
A library for Typed Functional Programming in Dart |
Jan 28, 2023 |
|
Haskell |
29 |
Work-in-progress functional dependently typed programming language |
May 16, 2023 |
|
C |
399 |
Live Programming Environment(C Port) |
Aug 12, 2022 |
|
Go |
724 |
:camel: Practical statically typed functional programming language implementation with Go and LLVM |
Jul 31, 2022 |
|
C |
4 |
functional, interpreted, weakly typed programming language written in C |
May 15, 2022 |
|
C# |
207 |
Cat - a statically typed functional stack-based programming language |
Apr 13, 2023 |
|
Python |
2 |
An interpreter for a dynamically typed functional programming language |
Jul 06, 2019 |
|
C |
2 |
a functional, dynamically weakly typed, interpreted, indented programming language. |
Jun 05, 2023 |
|
Python |
12 |
A dynamically typed functional programming language and its interpreter |
Dec 19, 2023 |
|
Haskell |
55 |
Universal Live Coding & Functional Reactive Programming Framework |
Mar 25, 2023 |
|
Elixir |
2 |
Live programming environment for Elixir/Erlang |
Feb 17, 2018 |
|
Haskell |
2 |
Exercises for learning how to program with typed holes in Haskell |
Dec 19, 2019 |
|
CoffeeScript |
3 |
Functional and statically-typed programming language that transcompiles to Javascript |
May 28, 2017 |
|
JavaScript |
60 |
A live programming environment specialized for data structure programming. |
May 09, 2023 |
|
Reason |
4 |
Client/Server/Raspberry Pi apps for drawing pixel art on a LED matrix |
Jan 02, 2022 |
|
Reason |
4 |
None |
Dec 22, 2019 |
|
Reason |
4 |
reason-promise binding to node-fetch |
Dec 10, 2021 |
|
Reason |
5 |
Search for episodes and podcasts, open episodes in iTunes and save them in your personal … |
Sep 04, 2021 |
|
Reason |
5 |
Solutions to Advent of Code 2019. |
Dec 15, 2019 |
|
Reason |
5 |
a client for nibbledb |
Dec 15, 2020 |
|
Reason |
5 |
Reason bindings for react-tabs |
Feb 05, 2022 |
|
Reason |
5 |
Sudoku front-end |
May 28, 2020 |
|
Reason |
6 |
An opinionated dune file formatter CLI |
Sep 24, 2021 |
|
Reason |
6 |
None |
Jun 09, 2022 |
|
Reason |
7 |
MOBA UI client for supaMOBA project |
May 04, 2022 |
|
Reason |
7 |
Demo of styled-ppx |
Jul 29, 2022 |
|
Reason |
8 |
Simple reasonml solution for dealing with query strings |
Jun 26, 2020 |
|
Reason |
8 |
A simple form built with Reason React and Material UI |
Aug 14, 2021 |
|
Reason |
11 |
Reason bindings for react-netlify-identity |
Oct 22, 2020 |
|
Reason |
11 |
None |
Jul 26, 2022 |
|
Reason |
11 |
The smallest possible Reason Native project |
Dec 28, 2021 |