Pinned Repositories
5yearplan
Software to construct socialist 5 year plan
af-assignment
Joining of view/click data streams using a sliding temporal window
coq-exercises
exercism-solutions
Solutions for Exercism training problems
functional-prolog
Prolog macros for easy functional programming
haskall
Interpreter for simple imperative/functional programming language written in Haskell.
latte-prolog-compiler
Compiler for a simple OO language with inheritance, written in SWI Prolog
prolog-chi
prolog-schemes
Optics and data transformation library for SWI Prolog
armadillo
Declarative, type-safe json-rpc endpoints library
AmbientTea's Repositories
AmbientTea/prolog-schemes
Optics and data transformation library for SWI Prolog
AmbientTea/functional-prolog
Prolog macros for easy functional programming
AmbientTea/latte-prolog-compiler
Compiler for a simple OO language with inheritance, written in SWI Prolog
AmbientTea/5yearplan
Software to construct socialist 5 year plan
AmbientTea/af-assignment
Joining of view/click data streams using a sliding temporal window
AmbientTea/coq-exercises
AmbientTea/exercism-solutions
Solutions for Exercism training problems
AmbientTea/haskall
Interpreter for simple imperative/functional programming language written in Haskell.
AmbientTea/packages-chr
CHR: Leuven Constraint Handling Rules
AmbientTea/prolog-chi
AmbientTea/prolog-mini-interpreter
Small assignment interpreter
AmbientTea/rdf-dsl
Type-safe DSL to work with RDF/OWL in Scala
AmbientTea/scala-logic
Simple term unification in Scala
AmbientTea/prolog-sudoku
sudoku solver
AmbientTea/python-algorithms
Stuff I sometimes implement for fun
AmbientTea/rust-delegate-trait
Low-boilerplate delegation for user-controlled traits
AmbientTea/swipl-devel
Main development repository
AmbientTea/tapir
Declarative, type-safe web endpoints library