Yes, really!
☆11May 8, 2015Updated 11 years ago
Alternatives and similar repositories for idris-ruby
Users that are interested in idris-ruby are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 11 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Oct 12, 2018Updated 8 years ago
- Hspec provider for tasty☆15Oct 7, 2025Updated last year
- Runnable examples for Typed Clojure paper☆11Jul 2, 2015Updated 11 years ago
- A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)☆10Nov 5, 2021Updated 4 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.
- "embedHelper" is a tiny helper-library used to aid in the unobtrusive inclusion and execution of 3rd party scripts - it's used within the…☆10Aug 11, 2009Updated 17 years ago
- Droscheme - a Scheme implementation☆13Apr 30, 2023Updated 3 years ago
- Downloading files on the DL☆11Jul 2, 2011Updated 15 years ago
- Kotlin monads☆10Apr 29, 2016Updated 10 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 8 years ago
- This is a conversion of the `clojure.core/isa?` function to a protocol.☆13Jul 17, 2012Updated 14 years ago
- The L10 Logic Programming Language☆10Aug 4, 2015Updated 11 years ago
- lattice-based miniKanren, inspired by lambda-LVars☆12Apr 2, 2013Updated 13 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Oct 15, 2022Updated 4 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.
- Quil examples on ClojureScript☆15Jul 13, 2014Updated 12 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 4 years ago
- It's like planet but magnified.☆12Jan 20, 2009Updated 17 years ago
- A simple Facebook app that lets you share your love for your friends.☆11Jan 16, 2013Updated 13 years ago
- Concurrent and distributed Prolog via join patterns (join calculus)☆12Mar 10, 2015Updated 11 years ago
- Cross-compilation framework based on the Shake Haskell library.☆28Feb 9, 2021Updated 5 years ago
- Ensemble is a prototype of a distributed, convergent, set-based programming language inspired by APL.☆12Apr 1, 2016Updated 10 years ago
- SICP in Clojure with clojure.core.typed☆18Oct 31, 2015Updated 10 years ago
- HaXe mode for Emacs based on Fundamental Major Mode☆13May 25, 2015Updated 11 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.
- OCaml back end for Idris☆22Jan 24, 2018Updated 8 years ago
- YourKit from the REPL☆13Sep 21, 2016Updated 10 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 6 years ago
- A simple time-saving project launching script (written in Ruby with Appscript) using the standard OSX Terminal☆10Feb 9, 2021Updated 5 years ago
- syntactic closures built on top of Clojure's macro system☆12Aug 8, 2012Updated 14 years ago
- Mirror of core.typed for internal development.☆14Nov 18, 2018Updated 7 years ago
- A collection of functional, mergeable datatypes for Irmin☆12Dec 25, 2016Updated 9 years ago
- Communicate with Erlang node from Haskell☆13Mar 14, 2021Updated 5 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 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.
- Swift lambda calculus functions supporting intensional equality☆12Jun 19, 2016Updated 10 years ago
- A AnyEvent-based client for NSQ.io☆16Feb 28, 2015Updated 11 years ago
- Object Literals Example Code☆14Sep 19, 2009Updated 17 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Sep 12, 2015Updated 11 years ago
- Write type-safe shell scripts in Haskell☆14Jan 10, 2020Updated 6 years ago
- A toy compiler, built after Crenshaw's 1988 tutorial.☆11Nov 29, 2009Updated 16 years ago
- Ever wanted to run iPhone unit tests with the full power of the simulator? Now you can.☆12Mar 3, 2010Updated 16 years ago