Alternatives and similar repositories for CoreJIT

Users that are interested in CoreJIT are comparing it to the libraries listed below

• MetaRocq / rocq-verified-extraction

  View on GitHub
  Verified Extraction from Rocq to OCaml/Malfunction
  ☆14May 23, 2025Updated 8 months ago
• maxdore / elfe

  View on GitHub
  Interactive Theorem Proving for students
  ☆20Aug 26, 2023Updated 2 years ago
• makslevental / mlir-wheels

  View on GitHub
  ☆29Nov 29, 2025Updated 2 months ago
• MohamedHaitamKsiks / awesome-simple-engine

  View on GitHub
  multi platform game engine
  ☆11Sep 1, 2025Updated 5 months ago
• KeeJef / CryptoCommit

  View on GitHub
  Counts commits across all organisation repos and gives you some pretty charts
  ☆12Nov 16, 2023Updated 2 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• fordsec / racets

  View on GitHub
  Faceted execution in Racket
  ☆11Sep 11, 2018Updated 7 years ago
• alt-romes / chip8-emulator-for-gameboy

  View on GitHub
  A chip8 emulator made in gameboy assembly for the gameboy
  ☆16Aug 12, 2021Updated 4 years ago
• nerves-project / nerves_system_vultr

  View on GitHub
  Experimental - join the #nerves channel on elixir-lang slack if interested
  ☆16Jan 28, 2026Updated 2 weeks ago
• luqui / Djest

  View on GitHub
  A programming language that deduces code from tests
  ☆30Jan 8, 2018Updated 8 years ago
• kssytsrk / cellular-automata

  View on GitHub
  Cellular automata environment written in Common Lisp
  ☆18Apr 17, 2021Updated 4 years ago
• lioncash / DolphinPPCTests

  View on GitHub
  PPC instruction tests
  ☆11Jan 22, 2024Updated 2 years ago
• jgregoriods / rongopy

  View on GitHub
  Ideas for the decipherment of Easter Island's rongorongo writing
  ☆11Sep 4, 2023Updated 2 years ago
• Rhathe / CingI

  View on GitHub
  CingI: Distributed pipeline/task runner for Continuous-ing Integration
  ☆13Oct 9, 2017Updated 8 years ago
• dbp / howtoproveacompiler

  View on GitHub
  Writeup that goes along with this:
  ☆41Jan 18, 2018Updated 8 years ago
• xnning / dependent-types-in-haskell

  View on GitHub
  Demo code for the talk Dependent Types in Haskell in Hong Kong Functional Programming meetup
  ☆16Dec 13, 2018Updated 7 years ago
• DaramG / CGSan

  View on GitHub
  ☆10Sep 10, 2022Updated 3 years ago
• InvoxiPlayGames / ArmbootNow

  View on GitHub
  Basic utility to launch an ARM binary from the SD card of a Wii.
  ☆15Feb 19, 2024Updated last year
• batterseapower / chsc

  View on GitHub
  The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"
  ☆23Mar 30, 2011Updated 14 years ago
• monstasat / chartjs-ocaml

  View on GitHub
  Chart.js bindings for OCaml
  ☆13May 13, 2021Updated 4 years ago
• lawcho / agda2c

  View on GitHub
  Agda to C compiler
  ☆10Sep 23, 2025Updated 4 months ago
• wsmoses / Enzyme-GPU-Tests

  View on GitHub
  This repo contains the benchmarks for Enzyme on GPU's
  ☆11Jan 5, 2026Updated last month
• darius / cogen

  View on GitHub
  Compiler generator (3rd Futamura projection) for first-order Scheme
  ☆13May 21, 2016Updated 9 years ago
• azukiapp / ex_azure

  View on GitHub
  Azure wrapper for Elixir using :erlazure.
  ☆11Dec 29, 2023Updated 2 years ago
• j-towns / flipper

  View on GitHub
  Reversible programming in Agda
  ☆13Jun 22, 2023Updated 2 years ago
• 8l / ff

  View on GitHub
  A Simple Forth System for Linux on i386 and ARM CPUs
  ☆41Nov 19, 2015Updated 10 years ago
• bloomberg / game-trees

  View on GitHub
  Functions and proofs about game trees in Rocq, implemented as rose trees.
  ☆12Dec 2, 2025Updated 2 months ago
• vrthra / pygmalion

  View on GitHub
  ☆11Oct 19, 2018Updated 7 years ago
• nebuta / bucklescript-jquery

  View on GitHub
  BuckleScript binding for JQuery
  ☆10Nov 1, 2017Updated 8 years ago
• BoringButGreat / grafana

  View on GitHub
  Elixir modules for accessing the Grafana API and retrieving Grafana visualizations
  ☆10Oct 10, 2017Updated 8 years ago
• simontime / gcbootrom

  View on GitHub
  Disassembly of the game.com boot ROM
  ☆12Dec 10, 2020Updated 5 years ago
• jashug / IWTypes

  View on GitHub
  A Coq development of the theory of Indexed W types with function extensionality.
  ☆11Sep 13, 2017Updated 8 years ago
• sto0pkid / swipl-tt

  View on GitHub
  Implementation of dependent type theory in SWI-Prolog
  ☆10Oct 6, 2020Updated 5 years ago
• Kabie / shadowsocks

  View on GitHub
  A ShadowSocks server implemented in Elixir
  ☆12Jan 9, 2022Updated 4 years ago
• ogamespec / dolwin-docs

  View on GitHub
  Accompanying documentation that were used in the Dolwin development process
  ☆11Sep 15, 2023Updated 2 years ago
• Dillonb / dgbir

  View on GitHub
  An intermediate representation language for JITs
  ☆12Jan 11, 2026Updated last month
• kristerw / instless_comp

  View on GitHub
  Instruction-less computation
  ☆18Dec 7, 2023Updated 2 years ago
• uds-psl / CoqTM

  View on GitHub
  Formalising Turing Machines In Coq (bachelor's thesis)
  ☆12Jul 5, 2023Updated 2 years ago
• jpt4 / skio

  View on GitHub
  Pure relational SKI combinator calculus interpreter.
  ☆11Jul 13, 2017Updated 8 years ago