metaborg / strategoxt

Related projects ⓘ

Alternatives and complementary repositories for strategoxt

• cgrand / parsnip
  parsley is dead, long live parsnip!
  ☆17Updated 10 years ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 10 years ago
• parsimony-ide / parsimony
  a web-based development environment for constructing parsers by example (backend code)
  ☆16Updated 7 years ago
• brownplt / lambda-py
  ☆58Updated 10 years ago
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• Whiley / WhileyTheoremProver
  The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge verification conditions generated b…
  ☆8Updated 3 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 13 years ago
• parsifal-47 / sisal-is
  Modernized Sisal Interpreter
  ☆27Updated 6 years ago
• fjarri / peval
  Partial evaluation of Python code
  ☆18Updated last year
• christoff-buerger / racr
  Metacompiler library supporting incremental transformation based on reference attribute grammar controlled rewriting.
  ☆30Updated 3 weeks ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• fritzo / pomagma
  An inference engine for extensional untyped λ-calculus
  ☆17Updated last year
• dvanhorn / oaam
  Optimizing Abstract Abstract Machines
  ☆30Updated 7 years ago
• 8c6794b6 / guile-tjit
  Guile with tracing JIT VM.
  ☆15Updated 8 years ago
• baruchel / continuation
  A module for handling continuations in Python
  ☆33Updated 8 years ago
• axch / rules
  An extensible pattern matching, pattern dispatch, and term rewriting system for MIT Scheme.
  ☆19Updated 8 months ago
• jstepien / skrot
  Efficient and customisable compression of short strings
  ☆49Updated 8 years ago
• brandonwillard / loghyc
  Loghyc - a miniKanren implementation in Hy
  ☆89Updated 4 years ago
• refi64 / hyskell
  Union types and some other functional-y stuff for Hy
  ☆50Updated 8 years ago
• drudru / ptyget
  Dan Bernstein's ptyget package
  ☆10Updated 9 years ago
• hylang / hydiomatic
  The Hy Transformer
  ☆81Updated 5 years ago
• DRMacIver / glassbox
  A library for tracking program state
  ☆15Updated 8 years ago
• JUrban / MPTP2
  ☆19Updated 7 years ago
• Ninjacop / BuBBLE
  A DSL/LISP dialect written in Haskell
  ☆21Updated 6 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 5 months ago
• jmillikin / anansi
  ☆10Updated 2 years ago
• bennn / iPoe
  Interactive POetry Editor
  ☆27Updated 3 years ago
• rewriting / tom
  ☆34Updated 4 years ago
• melsman / aplparse
  APL parser written in Standard ML
  ☆19Updated 8 years ago