shriram / smol

Related projects ⓘ

Alternatives and complementary repositories for smol

• florence / diagrama
  A diagram drawing library for Racket
  ☆18Updated 3 years ago
• zamora / lightsaber
  Draw lightsabers using Racket's pict library
  ☆11Updated 5 years ago
• michaelballantyne / syntax-spec
  A metalanguage for creating sophisticated DSLs in Racket.
  ☆27Updated last week
• dedbox / racket-template
  A Racket Meta-Program Generator
  ☆17Updated 4 years ago
• webyrd / curnelo
  Cur dependently-typed language in miniKanren.
  ☆17Updated 6 years ago
• cognitive-engineering-lab / document-calculus
  Accompanying materials for "A Core Calculus for Documents"
  ☆31Updated last year
• samdphillips / rhombus-examples
  Some code in the Rhombus/Shrubbery prototype
  ☆12Updated last year
• mflatt / shrubbery-rhombus-0
  ☆15Updated 2 years ago
• takikawa / racket-ppa
  Ubuntu PPA for Racket (based on the upstream in Debian at https://salsa.debian.org/bremner/racket). Check the Launchpad page for details …
  ☆10Updated 2 years ago
• stchang / mlish
  ☆21Updated 4 years ago
• hanleyc01 / rkttt
  ☆12Updated last year
• syntax-objects / Summer2021
  Syntax Parse Bee 2021
  ☆11Updated 2 years ago
• harp-lab / slog-lang1
  Slog 1.0
  ☆33Updated 5 months ago
• iambrj / metaKanren
  Relational interpreter for miniKanren, in miniKanren.
  ☆14Updated 3 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
• shriram / mystery-languages
  Mystery Languages
  ☆35Updated last year
• camoy / corpse-reviver
  Sound and efficient gradual typing via contract verification.
  ☆20Updated last year
• wilbowma / scribble-coq
  Because why wouldn't you want to typeset Coq in Scribble?
  ☆10Updated 5 years ago
• massung / tabular-asa
  A column-oriented, dataframe implementation for Racket.
  ☆17Updated 2 months ago
• eutro / advent-of-code-racket
  Racket package for fetching Advent of Code input.
  ☆8Updated last year
• leuschel / logen
  Offline partial evaluation system for Prolog written using the cogen approach
  ☆19Updated 8 years ago
• Bogdanp / rackcheck
  A property-based testing library for Racket.
  ☆29Updated 6 months ago
• countvajhula / cli
  A language for writing command line interfaces in Racket
  ☆15Updated 2 years ago
• johnstonskj / simple-oauth2
  Simple Racket implementation of the OAuth2 family of specifications
  ☆13Updated 3 years ago
• forked-from-1kasper / lean4-categories
  Category Theory & Cobordism Categories in Lean 4
  ☆14Updated 4 months ago
• soegaard / super
  Adds syntax to racket languages
  ☆11Updated 2 years ago
• bennn / trivial
  Stronger types for a few Typed Racket operators
  ☆11Updated 9 months ago
• samdphillips / raco-run
  Run raco run! Easier running Racket submodules on the command line.
  ☆10Updated 11 months ago
• rain-1 / nand-lang
  nand-lang
  ☆15Updated 6 years ago
• wilbowma / llm-lang
  An LLM-first programming language.
  ☆26Updated last month