keean/Haskell-Webservice-Framework

Stars
2
Language
Haskell
Created over 8 years ago
Updated over 8 years ago

keean/Haskell-Webservice-Framework

keean

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Old code from before the HList paper being updated and opensourced.

Parser-Combinators

C++ parser combinator library

zenscript

A trait based language that compiles to JavaScript

elements_in_rust

Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust

File-Vector

C++ file backed vector for very fast column databases, useful for time series data

Compositional-Typing-Inference

Compositional inference of principal typings for simple lamda-calculus based language written in C++

Clors

Clors Logic Language.

jsmonads

Monads for JavaScript

stencil-mdc

Example using Stenciljs with Material Components for Web

Go-Board

Very fast Go board with Monte-Carlo random playouts.

applicative_parser

parser combinators applicative TypeScript deno module

RelationalDB

Relational Algebra API for JavaScript

SAT-Solver

Simple SAT solver implemented from Knuth pre-fascicle 6a.

Lambda-Gen

Random Lambda Term Generator

node-monadic-router

Router Monad for Node.js

Go-Board-Ada

Very fast Go board in Ada, with Monte-Carlo random playouts

Simplex-Isosurface-Renderer

Renders an isosurface in WebGL using marching-cubes, and simplex-noise. Includes a fast matrix library using functional-mixins.

lambdapi

Deno TypeScript implementation of LambdaPi interpreter from "A Tutorial Implementation of a Dependently Typed Lambda Calculus" https://www.andres-loeh.de/LambdaPi/