kseo / fpLinks
John Backus' Functional Programming Systems
☆16Updated 9 years ago
Alternatives and similar repositories for fp
Users that are interested in fp are comparing it to the libraries listed below
Sorting:
- Recursion schemes for Idris☆65Updated 6 years ago
- A fork of jhc. And also a Haskell compiler.☆135Updated 6 years ago
- ☆41Updated 8 years ago
- Write yourself a typed functional language☆65Updated 6 years ago
- ☆138Updated 3 years ago
- Experiments in Idris / Unity integration.☆49Updated 8 years ago
- This repository contains coding examples of all sorts written in ATS and possibly other programming languages. These examples are primari…☆62Updated 4 years ago
- An HTTP library for idris☆39Updated 6 years ago
- Elaborate and expressive S-Expression library for Haskell☆62Updated last year
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆35Updated 9 months ago
- ANSI terminal support for Haskell, with Windows compatibility☆115Updated last week
- A small Haskell implementation of Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism☆101Updated 8 years ago
- build tool and package manager for idris,in idris,with free monads☆32Updated 6 years ago
- Oczor is a simple statically typed language that compiles to JavaScript, Lua, Ruby and Emacs Lisp☆119Updated 7 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- A programming language that runs in Haskell's type system.☆254Updated 9 years ago
- Type provider library for Idris☆94Updated 7 years ago
- Simple demonstration stack based virtual machine written in Haskell☆42Updated 9 years ago
- A Plugin to use Idris with Sublime☆27Updated 4 years ago
- ncurses binding for Haskell☆62Updated last week
- This is an attempt at painting as many bikesheds as possible with a typeclass hierarchy for idris reflecting "Algebra"☆19Updated 6 years ago
- A port of QuickCheck to Idris☆60Updated 7 years ago
- S-expression-based syntax alternative for Haskell.☆21Updated 11 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆45Updated last year
- PLT Redex model of basic Dependently Typed Racket calculus☆18Updated 10 years ago
- Kempe is a compiled stack-based language☆58Updated 10 months ago
- This package provides the Haskell Data.Text.ICU library, for performing complex manipulation of Unicode text.☆50Updated 4 months ago
- ICFP Bingo 2017 (Idris edition)☆30Updated 5 years ago
- A test framework for Idris☆55Updated 6 years ago