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
- Homotopy Type Theory proofs in Idris☆22May 22, 2019Updated 7 years ago
- Strict Clojure implementation of Semantic Versioning 2.0.0.☆12Jul 5, 2026Updated 3 months ago
- creates a short alphanumeric ID from a numeric ID☆11Jul 19, 2024Updated 2 years ago
- a getting-started sample for Clojure and Solr☆11Aug 28, 2015Updated 11 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.
- Set of problems and solutions in Natural Deduction for use with Volker Halbach's "The Logic Manual"☆13Feb 27, 2018Updated 8 years ago
- Example of a golang API gateway with authorization using JWT☆11Apr 21, 2026Updated 5 months ago
- Compact pretty printer☆39Nov 29, 2017Updated 8 years ago
- Migration tool for Datahike☆17May 19, 2023Updated 3 years ago
- A Boot task used to reload Clojure code on the fly while developing.☆14Apr 30, 2022Updated 4 years ago
- 5GL C Stack Machine (Fifth Generation Graph Language)☆12Jan 10, 2019Updated 7 years ago
- Implement the essential operators from Allens Interval Algebra, and also some metaprogramming for combinatoral operators☆13Oct 17, 2018Updated 7 years ago
- Sample project for using Cursive with shadow-cljs☆15Sep 17, 2018Updated 8 years ago
- Experiments in Overtone with spectral analysis☆18Oct 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.
- Clojure-Based Audio Plug-Ins☆25Aug 15, 2015Updated 11 years ago
- Fork of etckeeper to work with OS X.☆10Mar 10, 2015Updated 11 years ago
- Compress an HTTP response if the client has headers that allow it☆11Jul 12, 2017Updated 9 years ago
- A testing utility that tests code blocks in documentation.☆19Sep 17, 2026Updated 3 weeks ago
- CRDT Tutorial for Beginners (a digestible explanation with less math!)☆400Jul 12, 2022Updated 4 years ago
- Clean up generated reflection configs for GraalVM native-image compiled Clojure programs☆19Jun 30, 2021Updated 5 years ago
- A library for representing arbitrary byte size integers in JavaScript, both signed and unsigned.☆12Aug 7, 2014Updated 12 years ago
- A 3d raycaster that renders to ASCII text.☆17May 15, 2017Updated 9 years ago
- ☆18Jan 26, 2017Updated 9 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- A modular library for CDCL(T) SMT solvers, with [wip] proof generation.☆26May 13, 2026Updated 4 months 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
- 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
- Material for a workshop on Apalache and TLA+. To be populated with more examples.☆24Apr 17, 2023Updated 3 years ago
- An in-memory point-in-polygon (reverse geocoding) package for Who's On First data☆10Sep 28, 2017Updated 9 years ago
- Real time group editor without Operational transformation.☆11Apr 25, 2017Updated 9 years ago
- Pinda! -- Pin pointing has never been more exciting!☆11Jul 27, 2023Updated 3 years ago
- Rust wrapper for the libsoundio library.☆18Mar 31, 2023Updated 3 years ago
- A clojure atom backed by DynamoDB☆24Aug 7, 2016Updated 10 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.
- A powerful, opinionated Clojure/Script library for building custom Content Management Systems☆24Sep 4, 2026Updated last month
- OutlierDeveloper.com☆19Jul 14, 2015Updated 11 years ago
- Docker image for running a Datomic Free on-prem transactor☆17May 30, 2020Updated 6 years ago
- Browser based 'real-time' AR 'fast' neural style transfer using tensorflowjs☆16May 3, 2018Updated 8 years ago
- Standard library for the Formality language☆18Mar 22, 2020Updated 6 years ago
- Clojure of the day☆29Jun 9, 2020Updated 6 years ago
- Golang JWT token verifier with storage(redis storage plugin)☆14Mar 10, 2024Updated 2 years ago