dannypsnl / racket-llvm

Related projects: ⓘ

• herbie-fp / regraph
  Racket Equivalence Graph Library
  ☆18Updated 2 years ago
• hanleyc01 / rkttt
  ☆12Updated last year
• SchrodingerZhu / LeanGccBackend
  Lean4 backend using `libgccjit`!
  ☆11Updated 10 months ago
• mflatt / shplait
  Based on Plait (based on PLAI Typed, based on PLAI), but in Shrubbery notation
  ☆15Updated 2 weeks ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆18Updated 7 months ago
• mit-plv / rupicola
  Gallina to Bedrock2 compilation toolkit
  ☆49Updated last month
• racket / honu
  ☆18Updated last year
• stchang / mlish
  ☆21Updated 4 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 3 months ago
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 3 years ago
• mb64 / LC-interpreter
  A compiler and runtime for normalizing the untyped λ-calculus
  ☆30Updated 2 years ago
• sergei-romanenko / spsc
  SPSC: A Small Positive Supercompiler
  ☆33Updated 4 months ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 4 years ago
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆25Updated 5 years ago
• Guest0x0 / trebor
  an implementation of Observational Type Theory (OTT) and more
  ☆25Updated last year
• LuKuangChen / stacker-on-racket
  A notional machine for the SMoL languages
  ☆21Updated last year
• prg-titech / baccaml
  Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.
  ☆28Updated 2 years ago
• JoeyEremondi / pl-lt-rules
  Rules for writing academic papers and checking them using LTex-ls and LanguageTool
  ☆17Updated 2 years ago
• pmatos / nora
  An experimental Racket implementation using LLVM/MLIR
  ☆58Updated last year
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆13Updated 3 years ago
• rems-project / linksem
  Semantic model for aspects of ELF static linking and DWARF debug information
  ☆42Updated last year
• maxsnew / synthetic-domain-theory
  Experiment with synthetic domain theory in cubical agda
  ☆14Updated last year
• sweirich / lambda-calculus
  Denotational Semantics of the Untyped Lambda Calculus
  ☆16Updated 2 months ago
• dbp / funtal
  FunTAL: mixing a functional language with assembly.
  ☆40Updated 7 years ago
• miniKanren / faster-miniKanren
  A fast implementation of miniKanren with disequality and absento, compatible with Racket and Chez.
  ☆15Updated 6 years ago
• philnguyen / z3-rkt
  Racket bindings for Z3
  ☆24Updated 5 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 11 months ago
• rowandavies / sml-cidre
  SML Checker for Intersection and Datasort Refinements (pronounced "cider")
  ☆20Updated 11 years ago
• RedPRL / kado
  🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
  ☆19Updated 10 months ago