Hide content and notifications from this user.
Contact Support about this user's behavior.
An inference engine for extensional untyped λ-calculus
forked from ggreer/the_silver_searcher
A code-searching tool similar to ack, but faster.
Pure untyped extensional non-deterministic memoized combinator machine
Space and Time (blog)
forked from google/glog
C++ implementation of the Google logging module
forked from mrocklin/unification
forked from google/upb
small, fast parsers for the 21st century
forked from rurban/smhasher
Improved fork of https://code.google.com/p/smhasher/
forked from uxcn/farmhash-c
forked from silentbicycle/theft
property-based testing for C
Syntax tools for the Puddle coding environment
forked from gabime/spdlog
Super fast C++ logging library.
Unofficial fork of torgny's pythlog: constriant logic programming in python
A browser app to demonstrate harmony in just intonation.
forked from cvxopt/cvxopt
CVXOPT -- Python Software for Convex Optimization
Unofficial fork of the quipper haskell library
forked from snoack/python-goto
A function decorator, that rewrites the bytecode, to enable goto in Python
forked from euromake/inet
Interaction Nets Compiler
forked from trolando/lace
Lace - implementation of work-stealing in C
A simple python library to support live coding
Lightweight argument parsing for Python
Automatically exported from code.google.com/p/livecoding
Inadvertently typed λ-join-calculus
forked from google/farmhash
Automatically exported from code.google.com/p/farmhash
forked from thephoeron/quipper-language
Quipper: embedded, scalable functional programming language for quantum computing (unofficial fork)
Automatically exported from code.google.com/p/googlemock
Atlas of simple nondeterministic λ-terms