ProjectIgnis / BabelCDB
Project Ignis card databases for EDOPro. Send bug reports through Discord only!
☆27Updated this week
Related projects ⓘ
Alternatives and complementary repositories for BabelCDB
- A template for you to implement Hazelnut yourself☆19Updated last month
- Simple and powerful programming language with type inference☆24Updated 7 years ago
- A language built atop the Sparse Synchronous Model☆18Updated 10 months ago
- Bots running on OGS based on katrain☆11Updated last year
- Playing with type systems☆46Updated 2 years ago
- Inspired by typelang, a lisp implemented in typescript's type engine☆10Updated 2 months ago
- ☆22Updated 8 years ago
- A parser for ANSI C, in Lean4.☆20Updated last year
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆22Updated last year
- A collection of programming languages and type systems.☆33Updated 3 months ago
- Binary rational numbers in Coq [maintainer=@herbelin]☆12Updated 10 months ago
- A formally-verified provably-safe sandboxing Wasm-to-native compiler☆20Updated 2 years ago
- Idris 2 bindings to various C libraries☆15Updated 3 years ago
- ☆19Updated 2 weeks ago
- This repository is supposed to hold a released version of Xanadu☆23Updated 3 years ago
- Compiler from asciimath to LaTeX☆8Updated 5 years ago
- Programming-by-example in a typed functional language with sketches. Smyth = Sketching + Myth.☆31Updated 3 years ago
- ☆26Updated this week
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆25Updated 2 years ago
- A library for deadlock-free session-typed communication in Rust.☆46Updated 3 years ago
- dependently-typed lisp with flexible compiler backends☆25Updated 5 years ago
- "oh god there are like a million different kinds of analyses, quickly remind me what this one means?"☆16Updated 3 years ago
- Inigo: A Package Manager for Idris2☆61Updated 2 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆57Updated 3 years ago
- lisp for bears☆13Updated last year
- Duo - A research language exploring duality in programming language design☆57Updated last year
- OCaml plus Jane Street extensions☆73Updated 4 months ago
- Visualization tool for your IO-uring workload☆14Updated 3 months ago
- LaTeX sources for the Habit Programming Language Report☆24Updated 6 years ago
- Notes on Functional Programming and related topics☆29Updated 2 years ago