port-zero / lens

Related projects: ⓘ

• darius / pythological
  A MiniKanren in Python
  ☆36Updated 8 years ago
• nineties / Choco
  MinCaml Compiler implementation by Haskell
  ☆11Updated 12 years ago
• raptorjit / raptorbook
  RaptorJIT: a dynamic system programming language (manuscript)
  ☆15Updated 5 years ago
• silentbicycle / skel
  tiny command-line skeleton/snippet thing
  ☆21Updated 6 years ago
• alehander92 / hatlog
  custom type systems for python in prolog: http://alehander42.me/prolog_type_systems
  ☆24Updated 8 years ago
• calvis / kraken
  Prototype of a new constraint-logic programming language in Racket
  ☆28Updated 9 years ago
• gravicappa / klvm
  Shen KLambda to KLVM translator.
  ☆29Updated 8 years ago
• npryce / python-factcheck
  A simple but extensible implementation of QuickCheck for Python 2.7 and Python 3 that works well with Pytest.
  ☆18Updated 11 years ago
• weinholt / erlscp
  ☆17Updated this week
• SOM-st / RPySOM
  RPySOM - The Simple Object Machine Smalltalk implemented in RPython
  ☆15Updated 3 years ago
• cell-lang / runtime
  Cell language C++ runtime
  ☆17Updated 3 years ago
• pkhuong / aerie
  Aerie: a regex-like engine nested word grammars
  ☆16Updated 2 years ago
• shimmercat / second-transfer
  A library for creating HTTP/2 servers in Haskell.
  ☆9Updated 7 years ago
• slfritchie / wide-world-of-actors
  Wide World of Actors, or, Can I Have an Erlang Pony?
  ☆13Updated 6 years ago
• alf-tool / alf
  Relational Algebra at your fingertips
  ☆62Updated 9 years ago
• llllllllll / adt
  Algebraic data types for python
  ☆22Updated 7 years ago
• JacksonGariety / derivation-machine
  Propositional calculus in Haskell
  ☆11Updated 7 years ago
• smarr / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆15Updated 3 months ago
• dlaurie / lua-apl
  APL-like functions for use from Lua.
  ☆17Updated 9 years ago
• GaloisInc / icfpcontest2015
  The 2015 ICFP Programming Contest
  ☆7Updated 8 years ago
• slburson / fset-java
  Java implementation of the FSet functional collections library.
  ☆10Updated 8 years ago
• aliceml / aliceml-alice
  Alice ML implementation
  ☆17Updated last year
• jemc / pony-capnp
  Cap’n Proto plugin for generating serializable Pony classes. - 'n
  ☆19Updated 6 years ago
• logpy / strategies
  Programmatic Control Flow
  ☆13Updated 7 years ago
• halgari / jit-playground
  A translation of the PyPy prolog jit tutorials from Prolog to Clojure
  ☆18Updated 10 years ago
• mathematical-systems / future
  Task-parallelism library for Common Lisp
  ☆17Updated 12 years ago
• wingo / bicho
  Scheme implementation suitable for microcontrollers
  ☆8Updated 9 years ago
• poplog / poplog
  Poplog
  ☆21Updated 13 years ago
• SOM-st / PySOM
  PySOM - The Simple Object Machine Smalltalk implemented in Python
  ☆26Updated 3 months ago
• pflanze / chj-schemelib
  A collection of libraries in Scheme
  ☆12Updated 3 years ago