Yes, really!
☆11May 8, 2015Updated 10 years ago
Alternatives and similar repositories for idris-ruby
Users that are interested in idris-ruby are comparing it to the libraries listed below
Sorting:
- Concurrency features for the Haskell machines package☆16Mar 11, 2022Updated 3 years ago
- Kotlin monads☆10Apr 29, 2016Updated 9 years ago
- HaXe mode for Emacs based on Fundamental Major Mode☆13May 25, 2015Updated 10 years ago
- A template set for writing semantics in LaTeX☆12Aug 17, 2015Updated 10 years ago
- Shell.☆14May 8, 2017Updated 8 years ago
- Fork threads and wait for their result☆27Sep 27, 2023Updated 2 years ago
- A Go backend for Idris☆15Jul 28, 2018Updated 7 years ago
- Example of embedding Servant within a Yesod Application☆15Aug 23, 2016Updated 9 years ago
- Another experiment in dependently typed languages, this time with some quantitative type theory smooshed in.☆18Oct 12, 2018Updated 7 years ago
- A PureScript's CoreImp AST for transpiling into dynamically typed languages☆15Oct 22, 2020Updated 5 years ago
- Implementation of scheme in python supporting call/cc and hygenic macros☆16Sep 12, 2015Updated 10 years ago
- ☆16Dec 17, 2014Updated 11 years ago
- ☆19Sep 18, 2018Updated 7 years ago
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Oct 15, 2022Updated 3 years ago
- YesQL-style SQL database abstraction.☆27Sep 3, 2020Updated 5 years ago
- A sinatra-ish framework written in haskell, riding on top of Hack☆57Jan 16, 2011Updated 15 years ago
- Auto reloading PureScript compiler☆28Oct 15, 2018Updated 7 years ago
- being a thing I build on a Saturday☆28Mar 5, 2018Updated 7 years ago
- ☆24Oct 31, 2016Updated 9 years ago
- Successor project: https://github.com/thautwarm/Quick-Backend☆24Apr 26, 2019Updated 6 years ago
- Haskell / Erlang interoperability library☆30Jan 29, 2023Updated 3 years ago
- Type definitions and low level interface implementations for the W3C DOM spec☆35Oct 29, 2023Updated 2 years ago
- Using QuickCheck to test functions in other languages/environments.☆33Mar 11, 2015Updated 10 years ago
- Auto-generate a server for your datatype☆30Sep 4, 2022Updated 3 years ago
- Python backend for Idris (generates Python source, not bytecode).☆125Oct 23, 2017Updated 8 years ago
- Gentoo overlay providing patches to build entire world with clang☆22Aug 9, 2020Updated 5 years ago
- Java Code Generator for Idris☆72Feb 17, 2016Updated 10 years ago
- ProvenDB Open Source Verification CLI☆13Mar 16, 2023Updated 2 years ago
- Swipe is a code generation tool that automates the creation of repetitively used code☆12Nov 10, 2022Updated 3 years ago
- The Dart implementation of the PyNaCl API with the TweetNaCl cryptographic library☆36Aug 8, 2024Updated last year
- An efficient packed, immutable UTF8-backed Unicode text type for Haskell☆33Sep 26, 2018Updated 7 years ago
- WebAssembly Code Generation Backend for Idris Compiler☆82Jun 26, 2018Updated 7 years ago
- 神.java | Shen for Java 8 Indy. Shen is a portable functional programming language by Mark Tarver.☆58Sep 14, 2013Updated 12 years ago
- Hyperdrive is an all-in-one node management system for NodeSet operators.☆13Feb 9, 2026Updated 2 weeks ago
- Action to convert a normal GitHub url to its corresponding raw url.☆11Aug 9, 2023Updated 2 years ago
- Golang Web Toolkit☆16Nov 5, 2011Updated 14 years ago
- Haskell trading framework.☆11Apr 3, 2016Updated 9 years ago
- Ratpack support for rxjava2☆11Dec 3, 2018Updated 7 years ago
- A variant of OCaml's native code compiler ocamlopt using LLVM in the back-end for optimization and code generation. Warning: Binaries pr…☆55Mar 25, 2012Updated 13 years ago