moonad / TaelinArenaLinks
[outdated] A moddable MOBA in Formality
☆96Updated 2 years ago
Alternatives and similar repositories for TaelinArena
Users that are interested in TaelinArena are comparing it to the libraries listed below
Sorting:
- Wrap promises, never use .catch again☆25Updated 2 years ago
- ☆36Updated 4 years ago
- The Haskell implementation of the Milho programming language.☆29Updated 2 years ago
- A declarative toy language inspired on set comprehensions.☆18Updated 6 years ago
- Minimal, fast, robust implementation of the Calculus of Constructions on JavaScript.☆116Updated 8 years ago
- Parser for es6 and es7.☆10Updated last year
- Moonad: a p2p academic journal, or a social network for code?☆27Updated 2 years ago
- An implementation of the Formality language in JavaScript☆71Updated 6 years ago
- A formalization of continuation-passing style calculi in Coq [WIP]☆37Updated last week
- Language Savant for unknown, lost or new programming languages. Use it if your repo's language is not included on GitHub Linguist☆50Updated 7 years ago
- (superseded by: https://github.com/qteatime/crochet) A safe, extensible, layered programming language that runs on top of JavaScript☆32Updated 2 years ago
- A Peer-to-Peer Operating System☆36Updated 6 years ago
- Thoughts and stuff☆70Updated 5 years ago
- Work-in-progress functional dependently typed programming language☆29Updated 2 years ago
- 🌵 A lisp REPL interpreter made in Haskell☆24Updated 6 years ago
- A minimal proof language.☆211Updated 6 years ago
- VSCode plugin for Standard ML☆40Updated last year
- Algebraic effects in javascript with scoped handlers, multishot delimited continuations, stack safety, do notation and higher-order effec…☆108Updated 3 years ago
- A small video game console for Arduino using the Brainduino interpreter☆28Updated 7 years ago
- Agda libraries relevant to Moonad☆14Updated 6 years ago
- Absal ex☆58Updated 2 years ago
- E-book version of Bartosz Milewski's blog post series☆62Updated 8 years ago
- 🧙 A 3D game about functional programming patterns. Uses PureScript Native, C++, and Panda3D.☆169Updated 6 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Updated 3 years ago
- Small TS library to type and safely handle `serde` JSON serializations of Rust enums.☆11Updated last year
- 🎮 | Is a programming language aimed at incorporating everything I’d like to have in Haskell, except dependent types.☆15Updated 3 years ago
- Toy programming language☆20Updated last year
- 🍞 | IDE focused programming language study☆36Updated last year
- Emoj is a modern, concatenative language for the browser. (april's fool project)☆20Updated 6 years ago
- Formality in itself☆20Updated 5 years ago