Team (unmatched ICFPC 2013 repository
☆11Aug 12, 2013Updated 13 years ago
Alternatives and similar repositories for icfpc2013
Users that are interested in icfpc2013 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Sample code for FP Days 2014 talk☆13Nov 20, 2014Updated 11 years ago
- An implementation of the Disruptor pattern (as defined by BetFair) in .NET☆27Dec 21, 2011Updated 14 years ago
- zookeeper RPM package for CentOS 6.☆13Jun 1, 2012Updated 14 years ago
- Implementation of join calculus in Objective-C for iOS☆11Oct 18, 2017Updated 9 years ago
- multi agent system with jade☆12Jun 13, 2011Updated 15 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- my xmonad.hs (darcs/gnome/karmic)☆10Jan 29, 2010Updated 16 years ago
- mongodb database library using scalaz-stream☆12Apr 28, 2014Updated 12 years ago
- Roy plugin for Play 2.0☆12Nov 27, 2012Updated 13 years ago
- Scalaz 7 type class instances for various Scala and Java libraries.☆10Sep 17, 2012Updated 14 years ago
- Tool for generating source code from Scala ASTs☆12Mar 10, 2017Updated 9 years ago
- ItalicComments editor extension for Visual Studio 2010.☆17Feb 3, 2015Updated 11 years ago
- monads can compose when distributive law exists.☆10Sep 17, 2012Updated 14 years ago
- Chapter for Performance of Open Source Applications☆27May 20, 2013Updated 13 years ago
- Raft reference implementation for Erlang☆31Jun 24, 2015Updated 11 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- Haskell bindings to Xen hypervisor interface☆17Jul 31, 2015Updated 11 years ago
- Chord fingering search for string instruments.☆11Nov 7, 2015Updated 10 years ago
- Scala demo code from my/Edwin Brady's talk "Scala vs. Idris: Dependent types now and in the future" at Strange Loop 2013☆11Sep 20, 2013Updated 13 years ago
- Golang implementation of distributed mutex on Azure lease blobs☆16Jul 3, 2026Updated 3 months ago
- AngularJS based $http circuit-breaker pattern implementation☆12Nov 21, 2013Updated 12 years ago
- The spell program from the 10th Edition Unix system☆11Jul 12, 2020Updated 6 years ago
- Local-first engineering memory and large-scale polyglot graph search for Codex, Claude, Cursor, Copilot, and the next agent you try.☆29Updated this week
- Kato adapter for Hubot☆11Mar 3, 2015Updated 11 years ago
- Code from my StrangeLoop 2014 Idris presentation.☆13Sep 20, 2014Updated 12 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Generate cryptographically random values in Elm☆12Jun 13, 2016Updated 10 years ago
- eventlog is a library for creating structured events from applications, and is the workhorse behind syslog-ng's own messages.☆11Nov 22, 2015Updated 10 years ago
- Scala file summary popup☆12Dec 19, 2015Updated 10 years ago
- T is a work-in-progress text editor inspired by the Acme editor from Plan9.☆10Feb 17, 2019Updated 7 years ago
- Python bindings for VMware Orchestrator☆13Nov 7, 2010Updated 15 years ago
- A partial port of Haskell's prelude.hs to GNU Make☆14Dec 7, 2013Updated 12 years ago
- A practical unit-of-measure calculator DSL for Scala☆15May 20, 2016Updated 10 years ago
- Haskell Implementation of GPIO wrapper library for Raspberry Pi☆13Feb 20, 2013Updated 13 years ago
- Learning Haskell: algorithms, data structures, mini-programs, materials, excercises☆17Aug 19, 2019Updated 7 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Simple but dynamic wrapper for RESTful Google APIs.☆14Nov 17, 2016Updated 9 years ago
- Experiments with implicit macros from scalamacros/kepler.☆14Feb 2, 2013Updated 13 years ago
- Internet Chess ToolKit is a java based set of libraries and widgets useful for performing common tasks such as reading PGN, FEN, and gene…☆13Feb 22, 2017Updated 9 years ago
- A repo for translations of О Haskell по-человечески (http://ohaskell.ru/)☆13Apr 5, 2014Updated 12 years ago
- Finagle SMTP client☆15Oct 2, 2015Updated 11 years ago
- FrontEndMasters 3D on the Web & WebXR Workshop☆15Feb 3, 2023Updated 3 years ago
- ☆10May 10, 2012Updated 14 years ago