keean/Lambda-Gen keean/Lambda-Gen

  • Stars
    star
    1
  • Language
    C++
  • License
    MIT License
  • Created over 10 years ago
  • Updated about 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
keean/Lambda-Gen
github

keean

Reviews

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

Repository Details

Random Lambda Term Generator

More Repositories

1

Parser-Combinators

C++ parser combinator library
C++
97
star
2

zenscript

A trait based language that compiles to JavaScript
JavaScript
42
star
3

elements_in_rust

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

File-Vector

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

Compositional-Typing-Inference

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

Clors

Clors Logic Language.
C++
8
star
7

jsmonads

Monads for JavaScript
JavaScript
5
star
8

stencil-mdc

Example using Stenciljs with Material Components for Web
TypeScript
5
star
9

Go-Board

Very fast Go board with Monte-Carlo random playouts.
C++
3
star
10

applicative_parser

parser combinators applicative TypeScript deno module
TypeScript
3
star
11

RelationalDB

Relational Algebra API for JavaScript
JavaScript
2
star
12

Haskell-Webservice-Framework

Old code from before the HList paper being updated and opensourced.
Haskell
2
star
13

SAT-Solver

Simple SAT solver implemented from Knuth pre-fascicle 6a.
C++
2
star
14

node-monadic-router

Router Monad for Node.js
JavaScript
1
star
15

Go-Board-Ada

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

Simplex-Isosurface-Renderer

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

lambdapi

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