diracdeltafunk

zulip

Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

lishogi

☗ lishogi.org: the forever free, adless and open source shogi server forked from lichess.org ☗

data

A community database of topological counterexamples

MathBases

.github

linuxify

🍏🐧 Transparently transform the macOS CLI into a fresh GNU/Linux CLI experience.

latex-action

:octocat: GitHub Action to compile LaTeX documents

Catlab.jl

A framework for applied category theory in the Julia language

tikzit

pgf/TikZ diagram editor

mics6814-python

Python library for the Pimoroni mics6814 breakout

mathlib

Lean 3's obsolete mathematical components library: please use mathlib4

paradox-compress

Paper and Demo Implementation of Paradoxical Compression with VDF

savage

A primitive computer algebra system

lean-liquid

💧 Liquid Tensor Experiment

3d-engine-cpp

3d engine

asmttpd

Web server for Linux written in amd64 assembly.

clash-compiler

Haskell to VHDL/Verilog/SystemVerilog compiler

tt-provability

Systems for doing provability logic in type theory

scheming-machine

Simple little scheme interpreter

kernel

Kernel for z80 calculators

KnightOS

OS for z80 calculators

parconc-examples

Sample code to accompany the book "Parallel and Concurrent Programming in Haskell"

nyancat

Nyancat in your terminal, rendered through ANSI escape sequences. This is the source for the Debian package `nyancat`.

openbay

vindinium-starter-haskell

Haskell starter for http://vindinium.org

vindinium

Artificial Intelligence Challenge - scala game server

2048-AI

A simple AI for 2048