fwcd / curry-language-serverLinks
IDE support for the functional logic programming language Curry
☆31Updated 3 months ago
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:
- Package manager for Idris☆37Updated 3 years ago
- Command line interface library in Idris☆31Updated last year
- ☆19Updated 2 months ago
- A TOML parser for Idris 2☆17Updated last year
- Provably total, tail-call optimized monadic recursion in Idris2☆14Updated last year
- Lua backend for Idris 2☆28Updated 2 years ago
- a functional programming language with algebraic effects and handlers☆82Updated 5 months ago
- Experimental effects library for Idris 2☆43Updated 3 years ago
- Javascript DOM bindings for Idris2☆53Updated last month
- Inigo: A Package Manager for Idris2☆63Updated 2 years ago
- small programming language. pls be gentle.☆39Updated 3 weeks ago
- ⚖️ Trial Data Type☆21Updated last month
- 🪆 A Staged Type Theory☆35Updated last year
- Prototype for https://github.com/Innf107/vega☆19Updated last year
- ☆27Updated this week
- Source code for haskle.net☆30Updated last year
- Minimalistic dependent type theory with syntactic metaprogramming☆57Updated last year
- A template for you to implement Hazelnut yourself☆22Updated 3 weeks ago
- dependently-typed lisp with flexible compiler backends☆27Updated 6 years ago
- Data frames for Idris 2☆23Updated 2 years ago
- A formalization of System Fω in Agda☆17Updated 5 months ago
- A compiler and runtime for normalizing the untyped λ-calculus☆31Updated 3 years ago
- Anders: Cubical Type Checker☆23Updated last year
- For parts of https://www.ats-lang.org☆27Updated last month
- Attempt to prove semantic preservation (forward simulation) for a simple compiler.☆11Updated last year
- A core language and API for dependently typed languages☆97Updated 5 months ago
- algebraic typechecking and elaboration of type systems☆13Updated 6 months ago
- ☆26Updated last year
- Velo is a tiny language (STLC + Hutton's Razor with Bools) to showcase & explore efficient verified implementations in Idris2.☆16Updated 2 years ago
- My Agda blog/lab/playground☆13Updated this week