|
JavaScript |
64 |
A minimal pure functional language based on self dependent types. |
Mar 24, 2023 |
|
None |
4 |
functional type-dependent (very simple) language |
Feb 03, 2023 |
|
Haskell |
449 |
Minimal implementations for dependent type checking and elaboration |
Apr 24, 2023 |
|
OCaml |
2 |
Tiny research language for investigating how to type-check programs with recursive function calls. |
Dec 16, 2017 |
|
OCaml |
2 |
Minimal implementations for dependent type checking and elaboration, in OCaml. |
Jul 02, 2023 |
|
TypeScript |
35 |
Build function-based API with minimal code and end-to-end type safety |
May 01, 2023 |
|
Kotlin |
2 |
🍰 (WIP) a small logical framework based on dependent type theory |
May 18, 2023 |
|
Nim |
8 |
A stack based calculator/minimal language |
Oct 12, 2021 |
|
C++ |
212 |
Bloom-filter based minimal perfect hash function library |
Mar 28, 2023 |
|
Python |
6 |
A pattern based function oriented language |
Dec 16, 2021 |
|
C |
2 |
[C Programming Language]-Largest of 3 numbers with recursive function-özyinelemeli fonksiyonla 3 sayının en büyüğü |
Mar 02, 2022 |
|
Bison |
2 |
The Prim programming language, based on the set of Primitive Recursive functions |
Dec 04, 2020 |
|
OCaml |
14 |
A type-safe, stack-based functional programming language |
Jul 01, 2022 |
|
PHP |
2 |
Core PHP Testing, Data Type, String, Variable, Array, Math Function, Function, If Else, Switch Case, … |
Jun 27, 2022 |
|
Python |
4 |
A minimal implementation of a web/worker pair for asynchronous web-based tasks, using Celery. |
Aug 05, 2022 |
|
Python |
2 |
A minimal programming language comprised entirely of one object type: `T ::= T -> T` |
Oct 27, 2022 |
|
Python |
2 |
Utility to record gettext translations based on calls to a wrapped translation function. |
May 15, 2018 |
|
HTML |
56 |
A pure functional type-inferred language based on JavaScript |
May 27, 2022 |
|
Agda |
3 |
An untyped programming language based on polarized type theory. |
Dec 11, 2021 |
|
TypeScript |
5 |
A minimal programming language implemented on typescript. Based on the Lox programming language. |
Mar 24, 2023 |
|
C |
2 |
Minimal STM32 Arduino core based on ST Low Level (LL) drivers |
Jul 01, 2023 |
|
TypeScript |
5 |
Experimental programming language loosely based on the TypeScript type system |
May 24, 2022 |
|
Haskell |
2 |
An esolang based on pairs (if LISP is LISt Processing then this is PAIr Language) |
Jun 21, 2023 |
|
Coq |
91 |
A core language for rule-based hardware design 🦑 |
Aug 11, 2022 |
|
C++ |
12 |
A (Minimal) Perfect Hash Function based on irregular cuckoo hashing, retrieval, and overloading. |
Feb 18, 2023 |
|
JavaScript |
4 |
Comprehensive function names suggestions based on language analyzis. Say what your function should do, get … |
Apr 15, 2023 |
|
Rust |
85 |
A constraint-based record & functional language mainly used in configuration and policy scenarios. |
Sep 02, 2022 |
|
None |
3 |
A constraint-based record & functional language mainly used in configuration and policy scenarios. |
Feb 03, 2023 |
|
None |
2 |
A constraint-based record & functional language mainly used in configuration and policy scenarios. |
Jun 06, 2022 |
|
None |
3 |
(Concept) Object-based programming language on C# and .NET Core |
Jan 25, 2020 |
|
OCaml |
2 |
A minimal compiler and runtime for a language based on graph rewriting |
Sep 03, 2021 |
|
OCaml |
3 |
Documentation for atdgen |
Nov 02, 2020 |
|
OCaml |
3 |
Investigating incomplete OCaml stack backtraces |
Nov 02, 2020 |
|
OCaml |
3 |
OCaml-stuffed templates |
Nov 02, 2020 |
|
OCaml |
3 |
Epsilon-greedy solution to the multiarmed-bandit problem, with recency bias |
Nov 02, 2020 |
|
OCaml |
3 |
How much stuff fits in a spherical shell of various dimensions? |
Nov 02, 2020 |
|
OCaml |
3 |
Dynamic signal uniformization |
Apr 07, 2021 |
|
OCaml |
3 |
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL … |
Apr 18, 2020 |
|
OCaml |
4 |
An implementation of a Hindley-Milner type system with Algorithm W for inference in OCaml. |
Jan 25, 2022 |
|
OCaml |
4 |
Runtime and runner for a compiler from SQL to JavaScript |
Mar 22, 2022 |
|
OCaml |
4 |
Pure OCaml parser for URIs for Geographic Locations |
Apr 22, 2022 |
|
OCaml |
4 |
An automatic recursive function transformer. |
May 13, 2022 |
|
OCaml |
4 |
API + Telegram bot + SPA for Dota 2 hero voicelines |
Jun 07, 2021 |
|
OCaml |
4 |
None |
Apr 01, 2019 |
|
OCaml |
4 |
Access the Linear or RBF kernel SVM from OCaml using the R e1071 or svmpath … |
Mar 09, 2020 |
|
OCaml |
4 |
Wrapper on top of libsvm-tools |
Nov 16, 2021 |
|
OCaml |
4 |
Ocaml Learning |
Dec 29, 2015 |
|
OCaml |
4 |
Mathematical proof checker which can be used to create Qeditas theories, signatures and documents |
Sep 01, 2021 |
|
OCaml |
4 |
testing ppx_deriving_crowbar by automatically deriving parsetrees, and why not test them after that |
Aug 03, 2020 |
|
OCaml |
4 |
Tools for making, manipulating, and viewing cross-stitch patterns. |
Feb 03, 2022 |