☆15May 28, 2016Updated 9 years ago
Alternatives and similar repositories for lambdaconf-shen-talk
Users that are interested in lambdaconf-shen-talk are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- Philosopher emoji for all your online metaphysical needs.☆15Feb 23, 2018Updated 8 years ago
- ☆132Mar 20, 2024Updated 2 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 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.
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 6 years ago
- A C implementation of the Shen programming language☆70Jan 8, 2022Updated 4 years ago
- sbt plugin to run shell commands from within the sbt shell☆15Jan 24, 2015Updated 11 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- Lojban ologs (categorical databases) using jq☆25Nov 29, 2018Updated 7 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 8 years ago
- NixOS theme for SLiM lock☆17Feb 17, 2018Updated 8 years ago
- ☆74Dec 30, 2014Updated 11 years ago
- 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.
- ☆12Oct 3, 2020Updated 5 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 8 years ago
- Spreadsheet management application on Halogen☆28May 25, 2024Updated last year
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Provisioning tool (Experimental, expect things to change!)☆17Apr 24, 2012Updated 13 years ago
- Deploys with Terraform + NixOS☆20Apr 1, 2025Updated 11 months ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Arrayfire bindings for J language☆10Sep 18, 2017Updated 8 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Wiki for urbit☆10Mar 10, 2018Updated 8 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆10Jul 16, 2021Updated 4 years ago
- This gem provides access to google tasks apis☆10May 29, 2011Updated 14 years ago
- Library that eases the usage of Free Monads based on cats and allows to compose multiple free monads into one.☆17Sep 14, 2016Updated 9 years ago
- Shen for the Common Language Runtime☆36Oct 23, 2024Updated last year
- S-expression-aware diffing tool based on Levenshtein-like tree edit distance.☆23Mar 9, 2021Updated 5 years ago
- crazy cool svg animation with anime.js☆15Jan 18, 2019Updated 7 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Port of Shen to run on top of Wasp Lisp☆25Apr 29, 2022Updated 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.
- ☆26May 5, 2015Updated 10 years ago
- A plugin to build your application using dotty with sbt support☆23Apr 5, 2017Updated 8 years ago
- code for UniK Hub backend☆10Aug 22, 2016Updated 9 years ago
- Port of Shen Language for Clojure☆11Oct 12, 2022Updated 3 years ago
- Interactive-diagrams☆39May 18, 2015Updated 10 years ago
- The PCB design of the STM8 with the nRF24L01+ Board☆13Feb 4, 2017Updated 9 years ago
- Erlang port of the Shen programming language☆27Mar 14, 2026Updated last week