A language with dependent types
☆19Oct 7, 2011Updated 14 years ago
Alternatives and similar repositories for Idris-old
Users that are interested in Idris-old are comparing it to the libraries listed below
Sorting:
- A Functional Reactive Programming framework for Scala☆13Mar 12, 2013Updated 12 years ago
- A toy ML-like programming language☆16Sep 2, 2012Updated 13 years ago
- JSR 223 compliant Scala scripting engine. Supports OSGi and JCR.☆22Jul 27, 2012Updated 13 years ago
- Interprocedural Static Analysis Engine for Scala☆20Mar 8, 2013Updated 12 years ago
- An implementation of derivative parsing in the parser combinator framework☆59Dec 2, 2010Updated 15 years ago
- Haskell to Javascript compiler (via GHC)☆20Jan 27, 2020Updated 6 years ago
- Ugly prototype language for strongly typed, lazy, purely functional client side web scripting☆25May 11, 2017Updated 8 years ago
- Implementing Abstract Binding Trees (in Scala, ...)☆19Jan 28, 2016Updated 10 years ago
- Problem solving à la carte☆22Apr 11, 2022Updated 3 years ago
- Proof-of-concept Prolog compiler that compiles down to Scala implicits.☆20Feb 2, 2016Updated 10 years ago
- Adds useful methods to scala & java classes.☆35Feb 9, 2022Updated 4 years ago
- Cats-based Scala library for free applicative schemas (cats-based port of Xenomorph)☆35Feb 3, 2026Updated last month
- Utrecht Haskell Compiler☆42Apr 2, 2012Updated 13 years ago
- Run programs defined in nix expressions☆51Jan 31, 2017Updated 9 years ago
- A thin scala wrapper for Java NIO.2, built on cats-effect 🐱☆12Jun 19, 2023Updated 2 years ago
- Scala collection views meet Transducers hype☆41Oct 13, 2015Updated 10 years ago
- Maven 2 plugin that allows a project to use a YAML version of the Maven POM☆40Apr 26, 2021Updated 4 years ago
- Kamon Monix Integration☆10Mar 6, 2019Updated 6 years ago
- vim text objects for haskell☆17Oct 26, 2015Updated 10 years ago
- Checkpointing PoW blockchains with HotStuff BFT☆10Jan 5, 2022Updated 4 years ago
- Convenience functions for working with Strings in Elm.☆10Nov 17, 2016Updated 9 years ago
- A Scala DSL (API) designed for monitoring event streams, such as for example log files. Based on data parameterized automata and temporal…☆11Dec 21, 2020Updated 5 years ago
- Constructive solid geometry on meshes using BSP trees in JavaScript☆24Apr 11, 2012Updated 13 years ago
- My PhD codebase for reliable automated shape generation via miniKanren-esque (interval!) constraint programming, interval arithmetic desi…☆10Sep 23, 2020Updated 5 years ago
- The ASF+SDF Meta-Environment is an inter-active IDE for language prototyping, source code analysis and source-to-source transformation. I…☆16Nov 15, 2012Updated 13 years ago
- Analysis of US media's representation of women worldwide☆13Feb 28, 2017Updated 9 years ago
- Tiny framework for solving constraint satisfaction problems (CSP) with discrete and finite domains. This is a Scala-based port of the ori…☆10May 13, 2016Updated 9 years ago
- A domain-specific language that allows the expression or protein interactions that can be used to build executable models.☆23Dec 13, 2022Updated 3 years ago
- Blazing fast signature detection☆11Sep 5, 2022Updated 3 years ago
- This repo is deprecated -> goto https://github.com/NixIPFS;☆12Jan 9, 2017Updated 9 years ago
- ☆24Feb 13, 2026Updated 2 weeks ago
- ☆12Jan 5, 2015Updated 11 years ago
- ☆11Nov 16, 2017Updated 8 years ago
- ☆12Apr 3, 2018Updated 7 years ago
- An extended version of Scala's scaladoc command☆21Jul 2, 2011Updated 14 years ago
- Cloud Computing library for erlang -- Official repository is now https://github.com/erlcloud/erlcloud☆17Jan 24, 2017Updated 9 years ago
- example how to use declarative containers to deploy arbitrarty webservices on the same system☆11Apr 27, 2014Updated 11 years ago
- Generate scala sources for sbt 0.10☆30Jul 10, 2015Updated 10 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago