Popular repositories Loading

1. defreas defreas Public

   CAIR Defeasible Reasoning Platform

   Scala 3

2. lamp lamp Public

   Ancient tool for querying llms

   JavaScript 3

3. highs-ts highs-ts Public

   WASM build of the HiGHS solver with a simple TypeScript interface.

   TypeScript 3

4. PokemonPOC PokemonPOC Public

   A remake of some bits of Pokemon Red.

   Java 2

5. rooibos-dao rooibos-dao Public

   Contracts and front-end code for the RooibosDAO project.

   Solidity 2

6. turing-soup turing-soup Public

   Emergent self-replicators in a soup of combinator calculus.

   C 2