fwcd / curry-language-serverLinks
IDE support for the functional logic programming language Curry
☆31Updated last month
Alternatives and similar repositories for curry-language-server
Users that are interested in curry-language-server are comparing it to the libraries listed below
Sorting:
- A TOML parser for Idris 2☆17Updated 11 months ago
- ☆19Updated 2 weeks ago
- A toy dependent typed language.☆29Updated 2 weeks ago
- Package manager for Idris☆35Updated 2 years ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Malfunction backend for Idris 2☆12Updated 3 years ago
- Command line interface library in Idris☆31Updated 10 months ago
- Probabilistic Functional Logic Programming☆16Updated 2 months ago
- Toy implementation of Martin-Löf Type Theory☆28Updated 2 years ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Data frames for Idris 2☆22Updated 2 years ago
- 🪆 A Staged Type Theory☆35Updated last year
- Idris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.☆25Updated 5 months ago
- Experiments with Cubical Agda☆11Updated last week
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated 11 months ago
- Anders: Cubical Type Checker☆24Updated last year
- Idris Version Manager☆16Updated 3 months ago
- A usable type system for call by push-value☆33Updated 5 years ago
- A compiler and run-time system to compile and run Curry programs as Go programs☆33Updated last week
- A simple implementation of XTT, "A cubical language for Bishop sets"☆26Updated 3 years ago
- Miranda is a pure, non-strict, polymorphic, higher order functional programming language designed by David Turner in 1983-6. https://code…☆57Updated last week
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- ☆15Updated 5 months ago
- ☆21Updated 3 weeks ago
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- A formalization of System Fω in Agda☆17Updated 3 months ago
- A core language and API for dependently typed languages☆94Updated 3 months ago
- Linear lens☆20Updated last year
- Efficient effect handlers based on Evidence Passing Semantics.☆30Updated 4 years ago
- The Carth programming language. Mirror of https://sr.ht/~jojo/Carth/☆22Updated last year