Strange Loop 2014 archives
☆188Oct 25, 2014Updated 11 years ago
Alternatives and similar repositories for StrangeLoop2014
Users that are interested in StrangeLoop2014 are comparing it to the libraries listed below
Sorting:
- Strange Loop 2013☆321Jan 20, 2014Updated 12 years ago
- Strange Loop 2012☆179Mar 12, 2013Updated 12 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 14 years ago
- Scala explained with code snippets☆10Dec 9, 2018Updated 7 years ago
- MERGED to LFE - Clojure-inspired macros and functions for use in LFE☆28Oct 25, 2016Updated 9 years ago
- A Benchmark Toolkit for Assembly Instructions Using the LLVM JIT☆17Oct 26, 2020Updated 5 years ago
- Chrome application to communicate with the Mooltipass.☆11Jun 2, 2015Updated 10 years ago
- browserify, minus some of the advanced features and heavy dependencies☆15Mar 21, 2020Updated 5 years ago
- A library for reusable parsers☆17Feb 5, 2021Updated 5 years ago
- Test your concurrent thoughts, don't let it be a nightmare☆13Nov 5, 2021Updated 4 years ago
- Write on Lisp. Compile to Javascript. Use anywhere.☆50Oct 17, 2021Updated 4 years ago
- clojure's syntax quote as a macro☆21Nov 19, 2011Updated 14 years ago
- Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"☆18Apr 3, 2024Updated last year
- [Inactive project] A tool for deploying and managing Onyx clusters in the cloud☆17Jun 7, 2016Updated 9 years ago
- Minimalistic logic programming framework☆22Feb 9, 2020Updated 6 years ago
- ☆12Jun 26, 2022Updated 3 years ago
- Strange Loop 2016☆45Oct 14, 2016Updated 9 years ago
- Implementation of full Operational Transform editor in Clojure. Library version: https://github.com/jahfer/othello☆27May 7, 2019Updated 6 years ago
- IRC Bot Written in Prolog☆20May 23, 2021Updated 4 years ago
- A new logic programming language.☆176Jul 30, 2023Updated 2 years ago
- Ubigraph Erlang Client (and Process Visualizer)☆189Oct 2, 2014Updated 11 years ago
- An Introduction to Redex with Abstracting Abstract Machines☆104Mar 21, 2024Updated last year
- Experimental implementation of a meta-hybrid JIT compiler mixing trace- and method-based compilation strategies.☆33May 2, 2025Updated 10 months ago
- dispcount-based lhttpc fork for massive amounts of requests to limited endpoints☆36Jan 17, 2019Updated 7 years ago
- A tool for creating new OCaml projects with OPAM, Oasis, and Merlin☆24Nov 26, 2016Updated 9 years ago
- Parallel ML compiler☆74Apr 25, 2020Updated 5 years ago
- Simple lambda prover☆24Jul 6, 2015Updated 10 years ago
- A small dialect of Common Lisp based upon lisp500☆37Aug 22, 2014Updated 11 years ago
- Canonical miniKanren implementation☆365Apr 11, 2018Updated 7 years ago
- A Clojure/ClojureScript implementation of Elm FRP.☆58Nov 15, 2014Updated 11 years ago
- Brucke - Inter-cluster bridge of kafka topics☆44Jan 9, 2023Updated 3 years ago
- ☆14Oct 27, 2014Updated 11 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Voevodsky's 2006 paper on homotopy lambda calculus☆15Jan 11, 2015Updated 11 years ago
- Library to maintain a forking queue of Cucumber processes☆16Oct 17, 2019Updated 6 years ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Project to digitize avant-garde periodicals☆12May 13, 2022Updated 3 years ago
- 豆瓣电影评论可视化☆10May 19, 2016Updated 9 years ago
- This is a simple perl script that will use Hipchat's API v2 to message a room after passing in the room name, authentication token and a …☆19Jul 21, 2018Updated 7 years ago