Strange Loop 2014 archives
☆188Oct 25, 2014Updated 12 years ago
Alternatives and similar repositories for StrangeLoop2014
Users that are interested in StrangeLoop2014 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆64Sep 30, 2016Updated 10 years ago
- Strange Loop 2013☆321Jan 20, 2014Updated 12 years ago
- SICP in Clojure with clojure.core.typed☆18Oct 31, 2015Updated 11 years ago
- Strange Loop 2016☆45Oct 14, 2016Updated 10 years ago
- moved -> 'lucid.publish'☆72Oct 4, 2016Updated 10 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- minimal plumbing to convert slides in markdown to reveal.js presentations via pandoc☆27Aug 13, 2017Updated 9 years ago
- Emacs functions to open current file on GitHub.com☆10Feb 2, 2014Updated 12 years ago
- A Clojure library for de/serializing Clojure data structures with Avro.☆117Dec 2, 2021Updated 4 years ago
- Lambda Jam 2013☆39Mar 8, 2021Updated 5 years ago
- A type theory based theorem proving library☆25Aug 23, 2011Updated 15 years ago
- Keynote for QCon SF 2015!☆38Jun 23, 2016Updated 10 years ago
- libRunTimeStruct: Create C structs at runtime☆13Dec 8, 2015Updated 10 years ago
- Strange Loop 2012☆179Mar 12, 2013Updated 13 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- Companion code to the slides for "Clojure: the JFDI Language"☆14Jan 30, 2014Updated 12 years ago
- Prismatic's Engineering Practices☆659Jan 13, 2016Updated 10 years ago
- Clojure transducers in a typed setting, in Haskell☆56Feb 19, 2015Updated 11 years ago
- An implementation of Tarjan's Strongly Connected Components algorithm☆14Aug 25, 2019Updated 7 years ago
- For an Internet Service Provider, AS numbers are a logical representation of the other ISP peering or communicating with his autonomous s…☆22Apr 15, 2016Updated 10 years ago
- Resources for Beginning Clojurists☆88Sep 30, 2014Updated 12 years ago
- New version of Effects library with dependent states