☆15May 28, 2016Updated 10 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 11 years ago
- Philosopher emoji for all your online metaphysical needs.☆15Feb 23, 2018Updated 8 years ago
- ☆131Mar 20, 2024Updated 2 years ago
- ☆17Aug 15, 2015Updated 10 years ago
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- A Java implementation of the Shen programming language☆28May 13, 2019Updated 7 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
- A C implementation of the Shen programming language☆72Jan 8, 2022Updated 4 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
- 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.
- ☆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 2 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Provisioning tool (Experimental, expect things to change!)☆17Apr 24, 2012Updated 14 years ago
- Deploys with Terraform + NixOS☆20Apr 1, 2025Updated last year
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 8 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
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Wiki for urbit☆10Mar 10, 2018Updated 8 years ago
- CSOM - C implementation of the Simple Object Machine Smalltalk☆11Jun 6, 2026Updated last week
- This gem provides access to google tasks apis☆10May 29, 2011Updated 15 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.☆24Mar 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 4 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.
- ☆26May 5, 2015Updated 11 years ago
- A plugin to build your application using dotty with sbt support☆23Apr 5, 2017Updated 9 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 11 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☆28Mar 14, 2026Updated 3 months ago