a simple functional language for learners
☆30Jan 12, 2017Updated 9 years ago
Alternatives and similar repositories for microML
Users that are interested in microML 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 experimental type theory with scoped equality reflection, and non-arbitrary proof search. This is basically a pared down version of An…☆12Jul 27, 2014Updated 12 years ago
- ☆17Oct 8, 2014Updated 12 years ago
- Shipwire API client☆16Nov 17, 2017Updated 8 years ago
- Measure time complexity empirically.☆49Nov 25, 2015Updated 10 years ago
- An alternate definition of Haskell's Functor typeclass☆42Jun 18, 2019Updated 7 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.
- Compare the public API of different versions of a Hackage library☆61May 2, 2018Updated 8 years ago
- This was the moment that Mark totally lost his shit and started rewritting jenkins in shell and ended up with a haskell build bot.☆11Jun 18, 2019Updated 7 years ago
- Pretty printer of Scala☆20Oct 21, 2020Updated 6 years ago
- A Ruby DSL for concatenative programming☆13Apr 19, 2009Updated 17 years ago
- Generic unification-based type inference library☆25May 20, 2015Updated 11 years ago
- A simple ML dialect☆10Jan 2, 2017Updated 9 years ago
- A fast Haskell client library for the Riak decentralized data store☆51Apr 1, 2023Updated 3 years ago
- Applicative lexer☆13Nov 26, 2019Updated 6 years ago
- System configuration and utilities for Linux ⚙☆12Oct 1, 2026Updated last month
- 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.
- Purescript bindings for Baidu's Echarts library☆37Jun 14, 2023Updated 3 years ago
- Comment on Haskell documentation.☆13Mar 13, 2019Updated 7 years ago
- Signature documentation tool for Standard ML☆14Oct 4, 2023Updated 3 years ago
- GHC prof manipulation script☆32Feb 4, 2024Updated 2 years ago
- ☆12Oct 3, 2020Updated 6 years ago
- A translation of Certified Programming with Dependent Types to Idris.☆13May 2, 2014Updated 12 years ago
- A concurrent, object-oriented, functional programming language with a very strong type system. NOTE: Not to be confused with http://atomo…☆13May 27, 2009Updated 17 years ago
- CLR-Hosted Total Functional Programming Language☆11May 30, 2011Updated 15 years ago
- безграмотный gitignore and makefile fetcher in Rust☆11Apr 17, 2021Updated 5 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Translation of Agda code in A. Löh and J. P. Magalhães *Generic Programming with Indexed Functors* to Idris.☆14Apr 5, 2017Updated 9 years ago
- Functional Programing in Scala (in Idris) [Idris]☆16Mar 23, 2015Updated 11 years ago
- A type-safe Haskell client for the Shopify API.☆12Jan 5, 2015Updated 11 years ago
- Robust persistence for typed immutable data☆16Nov 5, 2016Updated 9 years ago
- Haskell 2010 stream comonads☆25Dec 6, 2024Updated last year
- ☆21May 9, 2017Updated 9 years ago
- A library for patches (diffs) on vectors: composable, mergeable and invertible☆57Aug 19, 2018Updated 8 years ago
- A constant-memory approximation of set membership☆25Jan 25, 2025Updated last year
- Experimentation with Idris and WebGL via JavaScript FFI☆10Apr 10, 2014Updated 12 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.
- Manage CloudFormation Stacks through specifications☆13Updated this week
- Formlets for halogen☆30Dec 26, 2018Updated 7 years ago
- The Disco Discus Compiler☆176Feb 6, 2019Updated 7 years ago
- A book about large-scale design in Haskell☆74Sep 23, 2014Updated 12 years ago
- Data type isomorphic to α ∨ β ∨ (α ∧ β)☆14Oct 11, 2026Updated 3 weeks ago
- Framework for rapid development of Ansible modules in Haskell programming language.☆14Aug 20, 2022Updated 4 years ago
- A lab for future Criterion features.☆28Jan 9, 2019Updated 7 years ago