Alternatives and similar repositories for cure-lang

Users that are interested in cure-lang are comparing it to the libraries listed below

• olafura / beam_to_ex_ast

  View on GitHub
  Erlang AST to Elixir AST
  ☆20May 28, 2025Updated 8 months ago
• olafura / beam_to_ex

  View on GitHub
  BEAM to Elixir code
  ☆21May 28, 2025Updated 8 months ago
• tydeu / lean4-partax

  View on GitHub
  Lean 4 library of tools for parsing and compiling syntax and parser definitions.
  ☆16Dec 10, 2023Updated 2 years ago
• michaelpj / abstract-machine-debuggers

  View on GitHub
  ☆12Feb 11, 2019Updated 7 years ago
• ehatti / LHL

  View on GitHub
  Linearizability Hoare Logic
  ☆17Feb 9, 2026Updated last week
• dhil / pthandlers

  View on GitHub
  an encoding of affine effect handlers using pthreads
  ☆14Nov 15, 2022Updated 3 years ago
• hanleyc01 / rkttt

  View on GitHub
  ☆12Jun 13, 2023Updated 2 years ago
• arpieb / clex

  View on GitHub
  The Clex Elixir package wraps the excellent Erlang NIF provided by tonyrog/cl
  ☆13Apr 25, 2019Updated 6 years ago
• tsloughter / erlup

  View on GitHub
  Erlang toolchain installer
  ☆16Jul 4, 2024Updated last year
• tverlaan / ex_sshd

  View on GitHub
  Elixir port of erl_sshd
  ☆16Jan 29, 2018Updated 8 years ago
• ollef / system-f-omega-agda

  View on GitHub
  A formalization of System Fω in Agda
  ☆20Dec 23, 2025Updated last month
• jeapostrophe / c

  View on GitHub
  #lang for writing C code
  ☆16May 30, 2017Updated 8 years ago
• MarcelGarus / orchard

  View on GitHub
  A playground for programming language ideas.
  ☆20Jan 30, 2026Updated 2 weeks ago
• palladin / idris-snippets

  View on GitHub
  Collection of Idris snippets
  ☆23Dec 23, 2025Updated last month
• ransomr / fprofx

  View on GitHub
  fprof extended - includes suspend and GC times
  ☆30Jun 2, 2016Updated 9 years ago
• gar1t / erlang-bench

  View on GitHub
  Various Erlang related benchmarks
  ☆26Apr 26, 2017Updated 8 years ago
• GregorBudweiser / pdf-nano

  View on GitHub
  A small PDF encoder written in Zig
  ☆23Dec 15, 2025Updated 2 months ago
• samdphillips / raco-static-web

  View on GitHub
  ☆19Mar 10, 2023Updated 2 years ago
• OvermindDL1 / permission_ex

  View on GitHub
  ☆24Sep 19, 2019Updated 6 years ago
• rvirding / spell1

  View on GitHub
  LL(1) parser generator for Erlang and LFE
  ☆43Dec 29, 2024Updated last year
• midas-framework / erlang_library_runtime

  View on GitHub
  A lightweight erlang runtime
  ☆21Feb 13, 2021Updated 5 years ago
• tverlaan / inet_tcp_dist

  View on GitHub
  Custom Erlang Distribution implementation based on the original
  ☆18Feb 4, 2018Updated 8 years ago
• alco / mix-erlang-tasks

  View on GitHub
  Common tasks for Erlang projects that use Mix
  ☆21Jun 27, 2018Updated 7 years ago
• hayleigh-dot-dev / gleam-string-parser

  View on GitHub
  A simple parser combinator package written in Gleam.
  ☆17Mar 1, 2022Updated 3 years ago
• lud / nvir

  View on GitHub
  Dotenv support and environment variables validation for Elixir.
  ☆19Feb 2, 2026Updated 2 weeks ago
• 4y8 / ski-in-asm

  View on GitHub
  A SKI combinators interpreter written in assembly
  ☆20Jul 25, 2020Updated 5 years ago
• brendanzab / lean-holes

  View on GitHub
  Interactive holes for Lean 4
  ☆22Apr 19, 2024Updated last year
• agda-web / agda-wasm-dist

  View on GitHub
  Distributions of Agda executable compiled into WebAssembly.
  ☆25Nov 9, 2025Updated 3 months ago
• pabloariasal / protofmt

  View on GitHub
  Formatter for Protocol Buffer files
  ☆29Jul 14, 2022Updated 3 years ago
• ionathanch / TTBFL

  View on GitHub
  A logical relations model of a minimal type theory with bounded first-class universe levels mechanized in Lean.
  ☆22Jan 28, 2026Updated 2 weeks ago
• nachivpn / mt

  View on GitHub
  Master thesis on developing a static type checker for Erlang
  ☆27Sep 30, 2018Updated 7 years ago
• simonjohnthompson / streams

  View on GitHub
  Lazy evaluation, streams etc in Erlang
  ☆18May 31, 2018Updated 7 years ago
• voltone / plug_signature

  View on GitHub
  Plug for verifying request signatures according to the IETF HTTP signatures draft specification
  ☆21May 2, 2024Updated last year
• daanx / effect-bench

  View on GitHub
  Benchmarking algebraic effect handler implementations
  ☆27Jun 6, 2021Updated 4 years ago
• Bogdanp / racket-dbg

  View on GitHub
  A server, client and UI for remotely debugging Racket applications.
  ☆29Jul 23, 2025Updated 6 months ago
• zanzix / idris-neural-net

  View on GitHub
  An implementation of a simple Neural network in Idris using category theory.
  ☆24Sep 18, 2024Updated last year
• karimagnusson / zio-path

  View on GitHub
  ZIO Path
  ☆24Apr 15, 2024Updated last year
• RyanGibb / eon

  View on GitHub
  Effects-based OCaml Nameserver
  ☆38Dec 3, 2025Updated 2 months ago
• st23am / fona

  View on GitHub
  A hex package for controlling the Fona 808 shield by Adafruit Industries
  ☆25Sep 8, 2018Updated 7 years ago