jackfirth / j-notation

Related projects: ⓘ

• stchang / mlish
  ☆21Updated 4 years ago
• mflatt / shrubbery-rhombus-0
  ☆15Updated 2 years ago
• racket / honu
  ☆18Updated last year
• florence / diagrama
  A diagram drawing library for Racket
  ☆19Updated 3 years ago
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated 11 months ago
• samth / fancy-app
  A Scala-style magic function application form
  ☆43Updated 2 years ago
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• sorawee / pretty-expressive
  An implementation of "A Pretty Expressive Printer" in Racket
  ☆18Updated 7 months ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• Bogdanp / racket-dbg
  A server, client and UI for remotely debugging Racket applications.
  ☆19Updated 3 months ago
• ralsei / bingus
  A program synthesizer for code in the How to Design Programs curriculum
  ☆13Updated 8 months ago
• 4y8 / ski-in-asm
  A SKI combinators interpreter written in assembly
  ☆17Updated 4 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆21Updated last week
• bennn / trivial
  Stronger types for a few Typed Racket operators
  ☆11Updated 7 months ago
• greghendershott / pdb
  Multi-file check-syntax database
  ☆12Updated last month
• racket / draw
  ☆17Updated last month
• david-christiansen / todo-list
  A TODO list feature for DrRacket, like to Agda's goal list but for any language.
  ☆33Updated last year
• jackfirth / resyntax
  A Racket refactoring engine
  ☆56Updated this week
• videolang / interactive-syntax
  Library for building Interactive Direct Manipulation Tools (IDMTs) in Racket.
  ☆29Updated 3 years ago
• jeapostrophe / adqc
  adqc - A version of C with verification and resource bounds
  ☆22Updated 2 years ago
• lexi-lambda / mini-ml
  An experimental implementation of a tiny ML-like language using an embedded custom expander (WIP, currently just System F core language)
  ☆21Updated 5 years ago
• rocketnia / fexpress
  A compilation-friendly fexpr language. (Proof of concept.)
  ☆20Updated 9 months ago
• siraben / r5rs-denot
  A correct Scheme interpreter derived from the R5RS spec's formal semantics, written in Haskell.
  ☆20Updated last year
• wilbowma / experimenting-with-redex
  A Redex tutorial with a focus on how to do work in Redex
  ☆10Updated 2 years ago
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 4 years ago
• jackfirth / racket-package-ci-action
  A GitHub Action for building and testing Racket packages
  ☆12Updated 2 years ago
• robertkleffner / wort
  A core concatenative programming language with variables and first-rank polymorphic type inference
  ☆30Updated 4 years ago
• jackfirth / glass
  An optics (lenses, prisms, traversals, etc.) library for Racket.
  ☆10Updated 4 years ago
• maxsnew / modal-scheme
  A Scheme-like CBPV language with Racket Interoperability
  ☆39Updated 6 months ago