Discover @dignissimus Open Source projects

Sam Ezeh (@dignissimus)

dignissimus

Stars
43
Global Rank 379,383 (Top 14 %)
Followers 41
Following 20
Registered over 8 years ago
Most used languages

Python
40.0 %

Rust
20.0 %

CSS
6.7 %

TypeScript
6.7 %

Java
6.7 %

Lean 6.7 %

Haskell
6.7 %

Kotlin
6.7 %
Location 🇬🇧 United Kingdom
Country Total Rank 20,894
Country Ranking

Lean 10

Haskell
718

Rust
907

Kotlin
1,235

TypeScript
2,057

CSS
5,504

Java
6,726

Python
6,899

Untangle

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

lichess-speedrun

A tool to ethically perform speedruns on lichess (WIP)

lichess-unpackaged

Miscellaneous documents pertaining to the Lichess website.

pyterion

Statistics-driven benchmarking library for Python

pgn-filter

A small program to query for games inside PGN documents

coexp

Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf

ABM

My first big Agent Based Computational Economic Model

advent-of-code-2022

My solutions to Advent of Code 2022

pipe-kingdom

A 2d open-world game where you build and develop your own water company

aqavm

WIP lexer, parser, interpreter and LLVM compiler for aqa pseudcode and assembly language

per-version-resource-packs

Dentured

The Dentured programming language

recode-chess

presearch

A python program to query python scripts via syntax

chessemory

The Chess memory-game

ASP

A "simple" Stack-oriented programming language