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:
- Haskell library: ECMAScript parser, pretty-printer and additional tools☆46Updated last year
- A fork of jhc. And also a Haskell compiler.☆134Updated 6 years ago
- ☆138Updated 4 years ago
- Toy web rendering engine in haskell☆34Updated 10 years ago
- ncurses binding for Haskell☆62Updated 4 months ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆132Updated 8 years ago
- A tutorial to the Idris Programming Language.☆95Updated 10 years ago
- A library for building re-usable and composable SQL queries.☆104Updated 2 months ago
- ☆90Updated 10 years ago
- Learn you an Agda (and achieve enlightenment)☆317Updated 7 years ago
- ☆55Updated 8 years ago
- ☆94Updated 9 years ago
- The LVish Haskell library☆80Updated 3 years ago
- The Parser Generator for Haskell☆94Updated 10 years ago
- The Disco Discus Compiler☆176Updated 6 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆108Updated 2 years ago
- Crux Programming Language☆53Updated 4 months ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- Lua parser and pretty-printer☆52Updated 9 years ago
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- MOVED TO https://codeberg.org/wxHaskell/wxHaskell☆80Updated last year
- Parser combinators for Idris☆244Updated 6 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- Haskell Language Report☆94Updated 5 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 10 years ago
- The Definition of Standard ML, Revised (1997)☆117Updated 8 years ago
- Attempt to port All About Monads to HaskellWiki☆54Updated 8 years ago
- FFI Bindings to interact with the unsafe world of JavaScript☆94Updated 7 years ago
- Charity language interpreters and literature☆114Updated 6 years ago