keean/SAT-Solver

Stars
2
Language
C++
License
MIT License
Created over 10 years ago
Updated about 10 years ago

keean/SAT-Solver

keean

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

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

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

Haskell-Webservice-Framework

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

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/