deech / lambdaconf-shen-talkView external linksLinks
☆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
Sorting:
- Philosopher emoji for all your online metaphysical needs.☆15Feb 23, 2018Updated 7 years ago
- An embedding of miniKanren in Shen.☆25Jun 6, 2015Updated 10 years ago
- ☆132Mar 20, 2024Updated last year
- sbt plugin to run Pamflet (and Pamflet plugin to run sbt)☆11Jan 15, 2017Updated 9 years ago
- ☆18Aug 15, 2015Updated 10 years ago
- this repo demonstrates calling purescript from javascript through the output.☆11Jul 23, 2017Updated 8 years ago
- ☆12Oct 3, 2020Updated 5 years ago
- Explaining category theory by example☆10Jun 30, 2017Updated 8 years ago
- Working through Okasaki's "Functional Datastructures" in PureScript☆14Nov 9, 2016Updated 9 years ago
- Free Monads and useful constructions to work with them☆26Aug 14, 2018Updated 7 years ago
- Effectful bindings for SQLite (forked from IdrisWeb)☆41May 1, 2018Updated 7 years ago
- sbt plugin to run shell commands from within the sbt shell☆15Jan 24, 2015Updated 11 years ago
- An arrowized FRP library for Idris with static safety guarantees.☆16Jun 6, 2018Updated 7 years ago
- Khats, cats on Higher-Kinded amphets☆15Aug 17, 2016Updated 9 years ago
- A C implementation of the Shen programming language☆70Jan 8, 2022Updated 4 years ago
- Transformerless monads for Puresript☆22Sep 26, 2018Updated 7 years ago
- Leibniz Equality☆19Jun 7, 2018Updated 7 years ago
- Relational programming for PureScript☆17Jan 5, 2017Updated 9 years ago
- A scala library for the Tak board game☆16Feb 18, 2022Updated 3 years ago
- A project comparing the Tagless Final approach with the Free Monad one, using the Monix's Task as the target monad☆14May 20, 2017Updated 8 years ago
- Shen for the Common Language Runtime☆36Oct 23, 2024Updated last year
- A port of QuickCheck to Idris☆60Oct 30, 2017Updated 8 years ago
- NixOS theme for SLiM lock☆17Feb 17, 2018Updated 7 years ago
- DEPRECATED reads rust-lang/crates.io-index and outputs nix expressions into fractalide/nix-crates-index☆15Apr 12, 2017Updated 8 years ago
- Embeddable Common-Lisp C-Interop Demo☆15Nov 2, 2022Updated 3 years ago
- Deploys with Terraform + NixOS☆20Apr 1, 2025Updated 10 months ago
- Static blog generator in Idris.☆40Feb 17, 2015Updated 10 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
- Racket implementation of Cook and Lämmel's partial evaluation tutorial.☆32Aug 7, 2012Updated 13 years ago
- PureScript application layout pattern, derived from the Elm Architecture☆18Mar 12, 2016Updated 9 years ago
- ☆74Dec 30, 2014Updated 11 years ago
- A library for interactively creating graphics visualizations☆22Dec 6, 2019Updated 6 years ago
- ☆21Aug 7, 2015Updated 10 years ago
- Erlang port of the Shen programming language☆26Dec 16, 2019Updated 6 years ago
- Lojban ologs (categorical databases) using jq☆25Nov 29, 2018Updated 7 years ago
- QuickCheck powered law tests for PureScript's core typeclasses.☆26Oct 17, 2022Updated 3 years ago
- Port of the Shen programming language to the Graal runtime☆26Aug 16, 2017Updated 8 years ago
- ☆26May 5, 2015Updated 10 years ago
- This repository has moved to https://github.com/dhall-lang/dhall-haskell/tree/master/dhall-bash☆21Nov 23, 2018Updated 7 years ago