Alternatives and similar repositories for pygirl

Users that are interested in pygirl are comparing it to the libraries listed below

• adamhaney / lispy
  An implementation of scheme that can call python modules
  ☆21Updated 12 years ago
• OCamlPro / ocaml-top
  A simple cross-platform OCaml code editor built for top-level evaluation.
  ☆65Updated 2 years ago
• camlp4 / camlp4
  Camlp4 tool
  ☆103Updated 3 months ago
• chris-taylor / SICP-in-Haskell
  ☆49Updated 13 years ago
• 1tgr / fsharp-lisp
  Lisp compiler in F#
  ☆24Updated 15 years ago
• xye7ei / metaparse
  A handy tool to help design and parse your own language
  ☆21Updated 3 years ago
• tianyicui / golio
  Go! Lisp in OCaml
  ☆75Updated 13 years ago
• mflatt / jit-demo
  ☆65Updated 9 years ago
• pkrumins / the-little-prover
  All code examples from "The Little Prover" book
  ☆23Updated 10 years ago
• ucsd-cse131-sp17 / lectures
  Lecture notes and code from class
  ☆16Updated 8 years ago
• andrewray / iocamljs
  An OCaml javascript kernel for the IPython notebook
  ☆58Updated 8 years ago
• tianyicui / pfds-ocaml
  Okasaki's Purely Functional Data Structures in OCaml
  ☆40Updated 13 years ago
• janestreet / async_parallel
  Distributed computing library
  ☆34Updated 7 years ago
• davidlazar / llvm-semantics
  Formal semantics of LLVM IR in K
  ☆45Updated 10 years ago
• thautwarm / idris-python
  Successor project: https://github.com/thautwarm/Quick-Backend
  ☆24Updated 6 years ago
• llvm-mirror / dragonegg
  Mirror kept for legacy. Moved to https://github.com/llvm/llvm-project
  ☆25Updated 7 years ago
• compilers-course-materials / cs75-s16-lectures
  ☆43Updated 9 years ago
• sinistersnare / SinScheme
  Sinister's Scheme Compiler!
  ☆24Updated 3 years ago
• bobzhang / fan
  Compile-time metaprogramming for OCaml
  ☆75Updated last year
• munificent / lark
  The Lark programming language.
  ☆58Updated 15 years ago
• kerneis / cpc
  Continuation Passing C
  ☆114Updated 6 years ago
• diku-dk / futhark-book
  Parallel Programming in Futhark
  ☆49Updated 2 months ago
• owainlewis / ocaml-datastructures-algorithms
  Data structures and algorithms in OCaml
  ☆54Updated 5 months ago
• logic-tools / sml-handbook
  SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too
  ☆36Updated 9 years ago
• SMLFamily / The-Definition-of-Standard-ML
  The Definition of Standard ML (1990)
  ☆124Updated 11 years ago
• sunchao / tiger
  Tiger Compiler from "Modern Compiler Implementation in ML" by Andrew W. Appel
  ☆103Updated 10 years ago
• pavenvivek / Compiler-for-Scheme
  The compiler for subset of scheme developed as part of P523
  ☆30Updated 8 years ago
• dyoo / brainfudge
  F*dging up a Racket: how to write Brainf*ck as a Racket language
  ☆27Updated 5 years ago
• cwearl / fulmar
  Generate formatted C++ from Racket S-expressions
  ☆36Updated 10 years ago
• jarcane / MicroMini
  A simple 8-bit virtual stack machine
  ☆16Updated 11 years ago