Resources related to CurryOn 2018 Talk
☆50Jul 24, 2018Updated 7 years ago
Alternatives and similar repositories for curryon2018
Users that are interested in curryon2018 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Functional data structures for Pony☆44Apr 28, 2017Updated 9 years ago
- The S2 Geometry Library is a spherical geometry library, useful for manipulating regions on the sphere (commonly on Earth) and indexing g…☆11Jun 9, 2015Updated 11 years ago
- Code examples from the Wallaroo Labs blog☆18Jan 4, 2020Updated 6 years ago
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 7 years ago
- Clojure implementation of the Semantic Versioning 2.0.0 spec. Parse, validate, sort and modify semantic version strings☆12Feb 3, 2021Updated 5 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Demoing the basics of metaprogramming in Zig by writing a very incomplete CSS parser.☆15Jul 18, 2023Updated 2 years ago
- Distributed system simulator and distributed algorithm scratchpad☆21Aug 4, 2023Updated 2 years ago
- Example of using devcards with boot☆10Jun 15, 2016Updated 10 years ago
- Prune is an AST-based code editor.☆17Oct 29, 2013Updated 12 years ago
- DCI implementation for PHP 5.4+☆38Aug 15, 2013Updated 12 years ago
- Compact pretty printer☆39Nov 29, 2017Updated 8 years ago
- Model-based testing tool☆72Mar 12, 2025Updated last year
- Continuation based JS reactive signals☆18Mar 10, 2023Updated 3 years ago
- Migration tool for Datahike☆17May 19, 2023Updated 3 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.
- A Boot task used to reload Clojure code on the fly while developing.☆14Apr 30, 2022Updated 4 years ago
- Interop library between Redis Streams and popular dotnet streaming libraries☆13May 27, 2021Updated 5 years ago
- My NixOS dotfiles☆16Jun 25, 2025Updated 11 months ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- A library for representing arbitrary byte size integers in JavaScript, both signed and unsigned.☆12Aug 7, 2014Updated 11 years ago
- Useful functions, some of which I wish were in the Clojure standard library.☆22Oct 12, 2025Updated 8 months ago
- Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)☆14May 2, 2016Updated 10 years ago
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 6 years ago
- A testing utility that tests code blocks in documentation.☆19Feb 22, 2026Updated 3 months ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆390Jul 12, 2022Updated 3 years ago
- acoshift's opinionated HTTP-RPC styled api☆18Mar 7, 2025Updated last year
- Clojure API for RDF and SPARQL - provides consistent access to APIs including Jena and Sesame☆55Oct 12, 2020Updated 5 years ago
- Makes karaoke from any youtube video link. The method is based on machine learning methods. After dowloading video from Youtube, the audi…☆12Aug 6, 2023Updated 2 years ago
- Web Audio made sane.☆12Sep 30, 2017Updated 8 years ago
- Ctypes bindings to flock(2) for OCaml☆14Mar 7, 2024Updated 2 years ago
- docker build with support for bind mounts at build time via Docker Remote API☆25Aug 3, 2021Updated 4 years ago
- [deprecated, developmeht moved to https://github.com/mirage/ocaml-dns] µDNS - an opinionated Domain Name System (DNS) library☆55Jun 27, 2019Updated 6 years ago
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆27May 13, 2026Updated last month
- 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.
- A simple implementation of vector clocks in Javascript.☆78Nov 16, 2012Updated 13 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- A procedurally generated RPG inspired by Rogue and written in Pony.☆70Apr 11, 2020Updated 6 years ago
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- Real time group editor without Operational transformation.☆11Apr 25, 2017Updated 9 years ago
- 📍 Agloe is a geocoder which combines Go with WebAssembly in order to parse highly compressed Open Street Map (OSM) files all in the brow…☆11Jan 9, 2022Updated 4 years ago