thelastjosh

penrose

Create beautiful diagrams just by typing notation in plain text.

IHaskell

A Haskell kernel for the Jupyter project.

HLearn

Homomorphic machine learning

Coq-HoTT

A Coq library for Homotopy Type Theory

UniMath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

polis

:milky_way: Open Source AI for large scale open ended feedback

zodiac

A library for composable tooling for onchain entities

userguide

User guide for SolidOS Databrowser Frontend

kdtree

A Python implementation of a kd-tree

rse-course

Materials for The Alan Turing Institute's Research Software Engineering course

bigbang

Scientific analysis of collaborative communities

open-game-engine

Haskell implementation of open games

governance-seatbelt

Make governance safer

CASA

Chain Agnostic Standards Alliance organizational homebase

govbase

Govbase is an open, crowdsourced database of projects and tools in online governance. Data hosted at https://airtable.com/shrgnUrj0dqzZDsOd

daostar

DAOstar (or DAO*) is a set of technical standards and tools for DAOs and DAO tooling

gateway

An API gateway for online communities

housing-model

Agent-based model of the UK housing market.

treeldr

api

Website and API for Participedia V3

SAFEforDAOs

This is a project sponsored by Metagov. We are creating a SAFE smart contract implementation that reflects the legal document in an economic sense. We use compositional game theory to model the contract, then build out the smart contracts from the model.

contracts-algebra

Analysis of clause contracts using open games engine

agreementengine

agreements-prototype

Build contract systems on the internet

CAN

Merit-based Identity Network