vale1410 / buleLinks
The SAT and QBF Programming Language Bule
☆22Updated last year
Alternatives and similar repositories for bule
Users that are interested in bule are comparing it to the libraries listed below
Sorting:
- A work-in-progess programming language modeled after Ada and C++☆25Updated 2 years ago
- Jacy programming language☆13Updated 3 years ago
- The Evi programming language☆16Updated 3 years ago
- An experimental general-purpose programming language☆10Updated last year
- A General-Purpose Programming Language☆10Updated 2 years ago
- Imp is a statically typed and compiled scripting language with the goal of increasing programmer confidence.☆12Updated 3 years ago
- Self-hosting compiler for the Grace programming language☆41Updated last year
- The Egel Programming Language☆84Updated 5 months ago
- OCamlPro public development repository for Alt-Ergo☆139Updated last month
- Carbon programming language☆10Updated 3 months ago
- A Small & Interesting Programming Language.☆18Updated 3 years ago
- A call-by-need statically-duck-typed language named for French mathematician Sophie Germain☆33Updated 10 months ago
- strictly is a declarative programming language for interactive web-components☆10Updated last year
- The Curly programming language (now in Rust!)☆30Updated 4 years ago
- A C library for displaying informative, clean and readable errors☆25Updated last year
- siko☆14Updated last year
- Nixt is an interpreted programming language written in Rust☆16Updated 4 years ago
- Compiler-compiler for writing compiler frontends with Lua☆25Updated 2 years ago
- The Drift Script Programming Language☆11Updated 2 years ago
- The compiler and standard distribution for the C∀ programming language☆83Updated this week
- General purpose, statically typed, functional programming language☆14Updated last week
- Fun is programming language that supports both the functional and the imperative styles of programming. It distinguishes these two styles…☆26Updated 2 years ago
- A C++/Python like multi-paradigm statically typed programming language. (ABANDONED)☆20Updated 3 years ago
- Zeolite is a statically-typed, general-purpose programming language.☆19Updated 4 months ago
- The interpreter for Rhovas, a programming language for API design and enforcement.☆35Updated 3 months ago
- Plasma Programming Language☆166Updated 7 months ago
- Attribute grammar Based Language Extensions for C☆41Updated 3 weeks ago
- The Riff programming language☆22Updated 2 years ago
- An attribute grammar-based programming language for composable language extensions☆66Updated this week
- Frost is a powerful, general purpose, multi-paradigm programming language☆38Updated 3 years ago