Alternatives and similar repositories for unlisp-llvm

Users that are interested in unlisp-llvm are comparing it to the libraries listed below

• thfm / scholar

  View on GitHub
  A supervised machine learning library.
  ☆12May 19, 2020Updated 5 years ago
• Pebaz / LambdaCore

  View on GitHub
  An interpreted language written in Rust inspired by the Lisp family of languages.
  ☆61May 12, 2022Updated 3 years ago
• stchang / mlish

  View on GitHub
  ☆22Feb 22, 2020Updated 5 years ago
• awesome-kusion / kusion-cookbook

  View on GitHub
  Kusion Cookbook
  ☆38Mar 17, 2023Updated 2 years ago
• jDomantas / plank

  View on GitHub
  ☆60Aug 18, 2021Updated 4 years ago
• ponylang / crypto

  View on GitHub
  Library of common cryptographic algorithms and functions for Pony
  ☆12Jul 16, 2025Updated 7 months ago
• staticgc / taskwait

  View on GitHub
  Wait for async tasks
  ☆13Dec 22, 2022Updated 3 years ago
• gsingh93 / llvm

  View on GitHub
  Safe LLVM bindings for Rust
  ☆22Jan 8, 2024Updated 2 years ago
• pleiad / Refinements

  View on GitHub
  Experiments in formalizing refinement type systems in Coq
  ☆18Feb 7, 2016Updated 10 years ago
• ucarion / llvm-rust-getting-started

  View on GitHub
  A super-simple compiler demoing how to talk to LLVM from Rust
  ☆97Jul 4, 2016Updated 9 years ago
• al-jshen / alea

  View on GitHub
  Fast and easy zero-dep random number generation.
  ☆25Nov 28, 2021Updated 4 years ago
• GeorgeKT / menhir-lang

  View on GitHub
  Experiments with llvm to create a toy programming language
  ☆25Nov 30, 2024Updated last year
• epellis / esta

  View on GitHub
  Interpreted language and bytecode VM of my own design written in Rust [Unmaintained]
  ☆29May 19, 2019Updated 6 years ago
• randombyte-developer / kt-skript

  View on GitHub
  A Sponge plugin.
  ☆10Jul 25, 2020Updated 5 years ago
• cgswords / rsc

  View on GitHub
  Rust-based Scheme Compiler, written in the Nanopass style
  ☆12Jun 12, 2018Updated 7 years ago
• stateright / stateright.github.io

  View on GitHub
  "Building Distributed Systems with Stateright"
  ☆15Jul 28, 2025Updated 6 months ago
• clarus / coq-blog

  View on GitHub
  A blog about Coq
  ☆11Mar 21, 2021Updated 4 years ago
• AtheMathmo / toy-os

  View on GitHub
  Building a toy OS in Rust.
  ☆13Sep 14, 2016Updated 9 years ago
• wa-lang / nes

  View on GitHub
  A NES emulator in Wa. 凹语言 NES 模拟器
  ☆11Jun 15, 2025Updated 8 months ago
• punkdit / huygens

  View on GitHub
  ☆11Nov 7, 2025Updated 3 months ago
• barafael / pils

  View on GitHub
  Super simple lisp interpreter inspired by buildyourownlisp.com, in Rust.
  ☆10Jun 7, 2023Updated 2 years ago
• wilbowma / scribble-coq

  View on GitHub
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Oct 3, 2019Updated 6 years ago
• otherjoel / beeswax

  View on GitHub
  🐝🧇 Prototype template #lang for Pollen
  ☆11Nov 24, 2025Updated 2 months ago
• veera-sivarajan / boba

  View on GitHub
  compile rust-like source code to x86 assembly
  ☆14Feb 11, 2024Updated 2 years ago
• jam1garner / nail

  View on GitHub
  A vim-inspired hex editor written in rust
  ☆25Feb 20, 2022Updated 3 years ago
• nox / rayon_croissant

  View on GitHub
  <lqd> bikeshedding the name: something that is mapped folded and collected, a 🥐
  ☆14Dec 12, 2019Updated 6 years ago
• mpcsh / ForML

  View on GitHub
  Bachelor's thesis 2019
  ☆12Jun 3, 2023Updated 2 years ago
• mattpolzin / ncurses-idris

  View on GitHub
  A hobby implementation of an ncurses binding for Idris 2
  ☆16Dec 9, 2024Updated last year
• twitchyliquid64 / seeed-erpc-rs

  View on GitHub
  Drivers for Seeed Studio's eRPC-based wifi protocol
  ☆12Jun 28, 2025Updated 7 months ago
• platform-user-group / community

  View on GitHub
  平台工程社区事务
  ☆11Jul 4, 2023Updated 2 years ago
• uwplse / arvo

  View on GitHub
  A proof assistant.
  ☆12Feb 19, 2016Updated 9 years ago
• HindrikStegenga / Shard

  View on GitHub
  Shard is an Archetype-based Entity Component System implemented in Rust.
  ☆12Sep 12, 2023Updated 2 years ago
• kubevela / pkg

  View on GitHub
  A set of common libraries for writing KubeVela ecosystem controllers.
  ☆12Oct 28, 2025Updated 3 months ago
• alexhumphreys / hello-idris2

  View on GitHub
  A template for idris projects
  ☆11Jun 27, 2021Updated 4 years ago
• xzhseh / stlc-in-a-week

  View on GitHub
  Write yourself a simply-typed lambda calculus using Rust in a week!
  ☆13May 13, 2024Updated last year
• Bogdanp / racket-kafka

  View on GitHub
  A Kafka client for Racket.
  ☆18Aug 4, 2025Updated 6 months ago
• MarcelineVQ / idris2-streaming

  View on GitHub
  Effectful Streaming for Idris
  ☆15Dec 13, 2020Updated 5 years ago
• playXE / Jazz

  View on GitHub
  Jazz - register-based virtual machine and programming language
  ☆27Jan 14, 2019Updated 7 years ago
• btq-ag / keelung

  View on GitHub
  The Keelung Language. A Haskell-embedded DSL for privacy-preserving computation, designed to optimize zero-knowledge proof generation wit…
  ☆53Sep 6, 2024Updated last year