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
- Toy web rendering engine in haskell☆34Updated 9 years ago
- A fork of jhc. And also a Haskell compiler.☆135Updated 6 years ago
- ncurses binding for Haskell☆62Updated last month
- A simple but practical HTTP server in Haskell. 'mighttpd' should be called 'mighty'.☆42Updated 14 years ago
- ☆138Updated 4 years ago
- ☆90Updated 9 years ago
- small-but-featureful embeddable lisp interpreter written in haskell.☆115Updated 12 years ago
- The LVish Haskell library☆80Updated 2 years ago
- (Haskell) Web application server with stateful, type safe user interactions and widget combinators☆101Updated 9 years ago
- Crux Programming Language☆53Updated last month
- Haskell bindings for a very compact embedded JavaScript engine | now on https://codeberg.org/valpackett/hs-duktape☆23Updated 2 years ago
- A series of implementations of a simple functional programming language.☆30Updated 9 years ago
- Dependent JavaScript: A Typed Dialect☆87Updated 12 years ago
- A lazy non-deterministic concatenative programming language☆55Updated 12 years ago
- A tutorial to the Idris Programming Language.☆95Updated 9 years ago
- John Backus' Functional Programming Systems☆16Updated 9 years ago
- A library for building re-usable and composable SQL queries.☆104Updated 6 years ago
- The Parser Generator for Haskell☆94Updated 10 years ago
- Type declarations for jQuery☆30Updated 5 years ago
- Rich LLVM bindings for Haskell (with transfer of LLVM IR to and from C++, detailed compilation pass control, etc.)☆134Updated 8 years ago
- Book: Introduction to Dependent Types with Idris☆78Updated 2 years ago
- Stand-alone command-line version of the pointful plugin for Lambdabot.☆26Updated 2 years ago
- LINear LaNGuage: Type Theory and Process Calculi for Distributed and High-precision programming☆107Updated 2 years ago
- The Definition of Standard ML (1990)☆124Updated 10 years ago
- ☆94Updated 9 years ago
- A secure web framework, built in the Idris language.☆110Updated 11 years ago
- The Spire Programming Language☆59Updated 10 years ago
- An HTTP Server☆87Updated 2 weeks ago
- FFI Bindings to interact with the unsafe world of JavaScript☆93Updated 6 years ago