daniel-kun / omni

Related projects ⓘ

Alternatives and complementary repositories for omni

• combinatorylogic / mbase
  Metaprogramming framework for .net
  ☆87Updated 4 years ago
• softdevteam / eco
  Editor for language composition
  ☆56Updated last year
• projectured / projectured
  ProjecturEd is a generic purpose projectional editor.
  ☆138Updated 2 years ago
• gravicappa / shen-js
  Shen on javascript.
  ☆68Updated 6 years ago
• endobson / racket-llvm
  Bindings for llvm in racket
  ☆65Updated 9 years ago
• dmbarbour / wikilon
  A wiki and web-services based development environment for Awelon project
  ☆91Updated 5 years ago
• djspiewak / derivative-combinators
  An implementation of derivative parsing in the parser combinator framework
  ☆59Updated 13 years ago
• sparist / Om
  The Om programming language.
  ☆168Updated last month
• fisherdj / miniAdapton
  a minimal implementation of incremental computation in Scheme
  ☆35Updated 7 years ago
• haskell-lisp / liskell
  Haskell Semantics with Lisp Syntax
  ☆66Updated 10 years ago
• rlt3 / tree-talk
  exploratory programming for an object system in common lisp
  ☆14Updated 9 years ago
• coeffects / coeffects-playground
  Interactive essay that explains theory of coeffects and lets you type-check and run sample programs.
  ☆59Updated 7 years ago
• alanb2718 / wallingford
  An experimental DSL for handling state and updates, along with constraints, in Rosette.
  ☆50Updated 5 years ago
• iguana-parser / iguana
  prototype parser run-time, back-end for different kinds of parser generators, including rascal.
  ☆50Updated 7 months ago
• chrisseaton / katahdin
  A programming language where the syntax and semantics are mutable at runtime
  ☆163Updated 12 years ago
• orchid-hybrid / minimips
  minikanren mips assembler/disassembler
  ☆29Updated 9 years ago
• namin / staged-miniKanren
  staged relational interpreters: running with holes, faster
  ☆125Updated last week
• TiarkRompf / collapsing-towers
  Collapsing Towers of Interpreters
  ☆86Updated 9 months ago
• akeep / nanopass-framework-racket
  Racket port of the nanopass-framework
  ☆34Updated 3 years ago
• orchid-hybrid / scm--js
  scm->js
  ☆22Updated 9 years ago
• cheery / chartparser
  Chart parser (Earley SPPF)
  ☆27Updated 5 years ago
• witheve / eve-experiments
  The many experiments that have led to Eve in its current form
  ☆65Updated 5 years ago
• cell-lang / compiler
  Cell compiler
  ☆114Updated last year
• jrslepak / Remora
  Dependently-typed language with Iverson-style implicit lifting
  ☆121Updated 4 years ago
• combinatorylogic / clike
  A simple C-like language compiler with an extensible syntax and typed macros support
  ☆127Updated 3 years ago
• mndrix / microkanren-prolog
  Prolog implementation of microKanren
  ☆41Updated 9 years ago
• mflatt / expander
  ☆60Updated 2 years ago
• TiarkRompf / lancet
  surgical precision JIT compilers
  ☆120Updated 7 years ago
• mollerse / ait-lang
  Ait - Concatenative language for making visual demos with Canvas
  ☆47Updated 7 years ago