Pragmatic functional programming language
☆10Dec 26, 2016Updated 9 years ago
Alternatives and similar repositories for argo
Users that are interested in argo are comparing it to the libraries listed below
Sorting:
- A practical LLVM backend for OCaml (will never be finished)☆35Apr 20, 2014Updated 11 years ago
- Type-safe tic-tac-toe using Typesafe programming in Haskell☆15Sep 1, 2017Updated 8 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- An experimental language that compiles to JavaScript and C++☆33Dec 27, 2013Updated 12 years ago
- Embedded Scripting Language Designed for C++☆12Jun 3, 2011Updated 14 years ago
- Type inference in OCaml☆40Mar 14, 2015Updated 10 years ago
- ☆26May 23, 2022Updated 3 years ago
- Oversimplified version of Simple-sub: without recursive types, without nested let polymorphism, and with approximated type-variable-to-ty…☆27Jun 18, 2022Updated 3 years ago
- Wiki for ocaml compiler internals☆49Aug 2, 2013Updated 12 years ago
- A series of progressively more complex programming languages☆36Jun 28, 2014Updated 11 years ago
- A strongly typed language for the web!☆40May 17, 2016Updated 9 years ago
- look ma.. no redux☆34Sep 7, 2024Updated last year
- Java dialect using S-expressions☆31Jul 4, 2018Updated 7 years ago
- A GHC type checker plugin for row types☆39Oct 7, 2017Updated 8 years ago
- Configuration management for the Korora packaging system.☆13Jul 19, 2018Updated 7 years ago
- Soul - an esoteric concatenative language☆12Apr 30, 2024Updated last year
- Launcher application for Google Chrome's flatpak on Endless OS☆11Feb 24, 2026Updated last week
- Markdown-inspired markup language.☆33Aug 5, 2016Updated 9 years ago
- JupyterLab extension to open files passed via a URL parameter.☆12Nov 21, 2024Updated last year
- GB2260 code to postcode☆11Dec 24, 2015Updated 10 years ago
- A simple PNaCl app (in Rust!) that prints "Hello, world!" on Chrome's developer console.☆13Apr 19, 2015Updated 10 years ago
- ☆11Mar 20, 2025Updated 11 months ago
- an attempt to gain real-life hand movements data while typing on a keyboard☆10Oct 14, 2016Updated 9 years ago
- ☆24Jan 23, 2017Updated 9 years ago
- Object Pascal programs and components☆15Jan 1, 2011Updated 15 years ago
- writing small and readable code☆10Oct 18, 2015Updated 10 years ago
- ☆11Aug 24, 2016Updated 9 years ago
- Haskell regular expression library that supports derivatives, equivalence, intersection, and complement.☆12Sep 4, 2022Updated 3 years ago
- adaptation of rogue from https://github.com/foursquare/fsqio☆10Nov 3, 2025Updated 4 months ago
- GHC language extensions table☆49Aug 8, 2025Updated 6 months ago
- Plugin module for the ALL(*) lookahead algorithm in Chevrotain☆12Aug 31, 2023Updated 2 years ago
- Units of Measurement☆11Feb 8, 2022Updated 4 years ago
- A suite of tools for working with objectMode streams of time-ordered data. (e.g. tsdb records)☆27Jul 19, 2015Updated 10 years ago
- Random Scala thought experiments and miscellany.☆11Aug 24, 2016Updated 9 years ago
- A Kafka mirroring service based on Akka Streams Kafka☆10Jan 30, 2022Updated 4 years ago
- The Ensemble distributed communications toolkit☆13Jul 26, 2020Updated 5 years ago
- elasticsearch中文分词库整理☆10Nov 28, 2019Updated 6 years ago
- MOVED: https://github.com/eliasku/ekx☆11Mar 23, 2023Updated 2 years ago
- Nimrod/Nim wrapper for the GNU multiple precision arithmetic library☆11Apr 29, 2017Updated 8 years ago