Alternatives and similar repositories for Vermicel-CPU-Racket

Users that are interested in Vermicel-CPU-Racket are comparing it to the libraries listed below

• stchang / mlish
  ☆22Updated 5 years ago
• racket / honu
  ☆19Updated last year
• pmatos / racket-loci
  Implementation of local and remote loci for Racket
  ☆12Updated 4 years ago
• dannypsnl / racket-llvm
  racket llvm C-API bindings
  ☆17Updated 5 months ago
• lwhjp / racket-asm
  ☆19Updated 4 years ago
• jackfirth / glass
  An optics (lenses, prisms, traversals, etc.) library for Racket.
  ☆10Updated 4 years ago
• rain-1 / racket-peg
  racket scheme peg-parser
  ☆23Updated 3 years ago
• samdphillips / raco-pkg-env
  virtualenv like tool for Racket
  ☆31Updated 2 years ago
• zsparks / scheme-dep
  A scheme port of the Haskell code from "A Tutorial Implementation of a Dependently Typed Lambda Calculus"
  ☆8Updated 11 years ago
• webyrd / scheme-primer
  Interactive Scheme Primer, written in Scheme.
  ☆21Updated 7 months ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆20Updated 11 months ago
• GavinMendelGleason / mavis
  Optional types for Prolog
  ☆16Updated 5 years ago
• stevenbagley / metaii
  Common lisp implementation of Val Schorr's Meta-II language
  ☆18Updated 8 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆27Updated last year
• jpt4 / skio
  Pure relational SKI combinator calculus interpreter.
  ☆11Updated 7 years ago
• takikawa / wasm-redex
  WebAssembly model in Redex
  ☆16Updated 6 years ago
• ghosthamlet / ann.apl
  Simple Neural Network Examples in 8 lines APL
  ☆31Updated last year
• namin / blond
  the reflective tower Blond by Olivier Danvy & Karoline Malmkjær
  ☆16Updated last year
• chameco / bramble
  dependently-typed lisp with flexible compiler backends
  ☆27Updated 5 years ago
• namin / 3-proto-lisp
  Code from the paper Reflection for the Masses by Charlotte Herzeel, Pascal Costanza, and Theo D'Hondt.
  ☆14Updated 3 years ago
• GrammaTech / cl-smt-lib
  Common Lisp package providing an SMT object supporting SMT-LIB communication over input and output streams
  ☆19Updated 3 years ago
• triska / trs
  Reason about Term Rewriting Systems
  ☆16Updated 2 years ago
• pezipink / fairylog
  A Verilog dialect supercharged by the Racket meta-fairies.
  ☆56Updated 6 years ago
• lexi-lambda / racket-curly-fn
  A meta-language for adding Clojure-style shorthand function literals to arbitrary Racket languages.
  ☆17Updated 8 years ago
• Metaxal / quickscript
  Easy scripting for DrRacket
  ☆18Updated this week
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆32Updated last month
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• groupoid / TeX
  🧊 TeX-подібна система верстки наукових праць
  ☆19Updated 2 months ago
• DIJamner / lambda-compiler
  A simple compiler from the lambda calculus to MIPS assembly
  ☆20Updated 7 years ago
• stylewarning / hypergeometrica
  Livin' like it's 1813 (or 1988).
  ☆32Updated last year