Discover keean/lambdapi Open Source project by Keean Schupke (@keean)

Stars
1
Language
TypeScript
License
MIT License
Created over 3 years ago
Updated over 3 years ago

keean

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

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

Parser-Combinators

C++ parser combinator library

C++

zenscript

A trait based language that compiles to JavaScript

JavaScript

elements_in_rust

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

Rust

File-Vector

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

C++

Compositional-Typing-Inference

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

C++

Clors

Clors Logic Language.

C++

jsmonads

Monads for JavaScript

JavaScript

stencil-mdc

Example using Stenciljs with Material Components for Web

TypeScript

Go-Board

Very fast Go board with Monte-Carlo random playouts.

C++

applicative_parser

parser combinators applicative TypeScript deno module

TypeScript

RelationalDB

Relational Algebra API for JavaScript

JavaScript

Haskell-Webservice-Framework

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

Haskell

SAT-Solver

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

C++

Lambda-Gen

Random Lambda Term Generator

C++

node-monadic-router

Router Monad for Node.js

JavaScript

Go-Board-Ada

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

Ada

Simplex-Isosurface-Renderer

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

JavaScript

keean/lambdapi

keean

Reviews

Repository Details

More Repositories