Resources related to CurryOn 2018 Talk
☆52Jul 24, 2018Updated 8 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☆43Apr 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
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 7 years ago
- A TypeScript API client to XTDB☆13Dec 30, 2021Updated 4 years ago
- Strict Clojure implementation of Semantic Versioning 2.0.0.☆12Jul 5, 2026Updated 2 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- creates a short alphanumeric ID from a numeric ID☆11Jul 19, 2024Updated 2 years ago
- Example of using devcards with boot☆10Jun 15, 2016Updated 10 years ago
- Automatic Lotus docker image building☆12Oct 19, 2021Updated 4 years ago
- a getting-started sample for Clojure and Solr☆11Aug 28, 2015Updated 11 years ago
- 🗞️ (Possibly) Naïve thoughts regarding Go.☆12Jun 6, 2026Updated 3 months ago
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Compact pretty printer☆39Nov 29, 2017Updated 8 years ago
- [DEPRECATED] Official Textile Desktop Tray App☆17Jun 6, 2020Updated 6 years ago
- A Simple utility page for converting JSON to EDN, and back again.☆13Jun 18, 2015Updated 11 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.
- 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
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- Fork of etckeeper to work with OS X.☆10Mar 10, 2015Updated 11 years ago
- Experimental Concept for an Elmish Hot Reloading Bolero setup☆14Sep 21, 2019Updated 6 years ago
- Homebrew tap for installing Chez Scheme (https://github.com/cisco/chezscheme)☆14May 2, 2016Updated 10 years ago
- Online banking application written in Clojure, with unit tests and Clojure specifications☆16Jan 21, 2026Updated 7 months ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆395Jul 12, 2022Updated 4 years ago
- Clean up generated reflection configs for GraalVM native-image compiled Clojure programs☆19Jun 30, 2021Updated 5 years ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- docker build with support for bind mounts at build time via Docker Remote API☆25Aug 3, 2021Updated 5 years ago
- WhatWG web streams and utilities for node.js☆17Feb 13, 2020Updated 6 years ago
- A 3d raycaster that renders to ASCII text.☆17May 15, 2017Updated 9 years ago
- Rust project template with CI-built releases☆12Mar 14, 2020Updated 6 years ago
- Bindable App Bar support for Caliburn.Micro and WP7.1+☆15Jan 18, 2015Updated 11 years ago
- Elixir Stream around HTTPoison async response☆19Mar 30, 2021Updated 5 years ago
- 9P file server for Upspin☆11Feb 20, 2023Updated 3 years ago
- Creates and applies patches to datastructures☆18Feb 23, 2015Updated 11 years ago
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years 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.
- 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 3 years ago
- An in-memory point-in-polygon (reverse geocoding) package for Who's On First data☆10Sep 28, 2017Updated 8 years ago
- Two-Level Type Theory☆31Dec 13, 2019Updated 6 years ago
- CQL: Categorical Query Language implementation in Haskell☆188Apr 14, 2023Updated 3 years ago
- GreenArrays Development Software including Simulator☆13Feb 20, 2015Updated 11 years ago
- ❄️ Nix flakes and Neovim☆25Feb 17, 2026Updated 6 months ago
- Efficient on-the-fly Merkle Tree implementation☆16Nov 21, 2025Updated 9 months ago