Cure language compiling to BEAM with FSM primitives and Dependent types
☆91Jan 6, 2026Updated 2 months ago
Alternatives and similar repositories for cure-lang
Users that are interested in cure-lang are comparing it to the libraries listed below
Sorting:
- Erlang AST to Elixir AST☆20May 28, 2025Updated 9 months ago
- BEAM to Elixir code☆21May 28, 2025Updated 9 months ago
- ☆12Feb 11, 2019Updated 7 years ago
- Lean 4 library of tools for parsing and compiling syntax and parser definitions.☆16Dec 10, 2023Updated 2 years ago
- Linearizability Hoare Logic☆17Feb 9, 2026Updated last month
- an encoding of affine effect handlers using pthreads☆14Nov 15, 2022Updated 3 years ago
- ☆12Jun 13, 2023Updated 2 years ago
- Erlang toolchain installer☆16Jul 4, 2024Updated last year
- The Clex Elixir package wraps the excellent Erlang NIF provided by tonyrog/cl☆13Apr 25, 2019Updated 6 years ago
- Elixir port of erl_sshd☆16Jan 29, 2018Updated 8 years ago
- fprof extended - includes suspend and GC times☆30Jun 2, 2016Updated 9 years ago
- Various Erlang related benchmarks☆26Apr 26, 2017Updated 8 years ago
- A playground for programming language ideas.☆21Feb 26, 2026Updated last week
- MQTT for Elixir☆17Dec 12, 2021Updated 4 years ago
- A formalization of System Fω in Agda☆20Dec 23, 2025Updated 2 months ago
- #lang for writing C code☆16May 30, 2017Updated 8 years ago
- Spamming All forone Powerfull Termux Tools☆31Dec 13, 2025Updated 2 months ago
- Collection of Idris snippets☆24Dec 23, 2025Updated 2 months ago
- ☆19Mar 10, 2023Updated 3 years ago
- ☆24Sep 19, 2019Updated 6 years ago
- Custom Erlang Distribution implementation based on the original☆18Feb 4, 2018Updated 8 years ago
- A lightweight erlang runtime☆21Feb 13, 2021Updated 5 years ago
- A simple parser combinator package written in Gleam.☆17Mar 1, 2022Updated 4 years ago
- Common tasks for Erlang projects that use Mix☆21Jun 27, 2018Updated 7 years ago
- A SKI combinators interpreter written in assembly☆20Jul 25, 2020Updated 5 years ago
- Dotenv support and environment variables validation for Elixir.☆19Updated this week
- A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.☆23Jan 28, 2026Updated last month
- Interactive holes for Lean 4☆22Apr 19, 2024Updated last year
- Formatter for Protocol Buffer files☆29Jul 14, 2022Updated 3 years ago
- Distributions of Agda executable compiled into WebAssembly.☆25Nov 9, 2025Updated 4 months ago
- Master thesis on developing a static type checker for Erlang☆27Sep 30, 2018Updated 7 years ago
- Lazy evaluation, streams etc in Erlang☆18May 31, 2018Updated 7 years ago
- Benchmarking algebraic effect handler implementations☆27Jun 6, 2021Updated 4 years ago
- A server, client and UI for remotely debugging Racket applications.☆29Jul 23, 2025Updated 7 months ago
- Plug for verifying request signatures according to the IETF HTTP signatures draft specification☆21May 2, 2024Updated last year
- Effects-based OCaml Nameserver☆40Dec 3, 2025Updated 3 months ago
- ZIO Path☆24Apr 15, 2024Updated last year
- An implementation of a simple Neural network in Idris using category theory.☆24Sep 18, 2024Updated last year
- A simple interpreted language written in Elixir☆26Mar 29, 2017Updated 8 years ago