carliros / Simple-San-Simon-Functional-Web-BrowserLinks
A Web Browser written with Haskell
☆37Updated 4 years ago
Alternatives and similar repositories for Simple-San-Simon-Functional-Web-Browser
Users that are interested in Simple-San-Simon-Functional-Web-Browser are comparing it to the libraries listed below
Sorting:
- A fork of jhc. And also a Haskell compiler.☆134Updated 5 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆45Updated last year
- Alef Lazily Evaluates Functions☆32Updated 12 years ago
- A prolog interpreter written in Haskell.☆62Updated 9 years ago
- Dynamic network FRP with events and continuous values☆52Updated 4 years ago
- An implementation of the Core language☆30Updated 9 years ago
- ncurses binding for Haskell☆61Updated 3 weeks ago
- optimising compiler for Haskell's intermediate representation (STG) to LLVM IR☆31Updated 6 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- A partial implementation of Protocol Buffers in Idris☆31Updated 7 years ago
- Slides & demos for talks I do☆58Updated 4 years ago
- haskell lazy evaluation illustrated☆72Updated 8 years ago
- An aggregation of all online content related to Haskell.☆91Updated 6 years ago
- A class for types that can be converted to a hash value☆104Updated 2 months ago
- Rope data structure used by Yi☆20Updated 6 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Higher-order optimization library☆74Updated last year
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- A step-by-step MicroKanren evaluator☆29Updated 8 years ago
- A tiny scheme interpreter in Haskell☆24Updated 5 years ago
- The Alms Programming Language☆44Updated 6 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- Jhc: Haskell Compiler☆38Updated 9 years ago
- A programming language that runs in Haskell's type system.☆253Updated 9 years ago
- A programming language☆77Updated 12 years ago
- ☆137Updated 3 years ago
- ☆32Updated 8 years ago
- The LVish Haskell library☆80Updated 2 years ago
- Companion code for "Why Dependent Types Matter" paper.☆60Updated 6 years ago