Pinned Repositories
cactool
An easy way to collaboratively code social media posts for manual content and discourse analysis
ABM
My first big Agent Based Computational Economic Model
coexp
Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf
fhe-database
A fully homomorphic key-value store
lichess-speedrun
A tool to ethically perform speedruns on lichess (WIP)
lichess-unpackaged
Miscellaneous documents pertaining to the Lichess website.
pgn-filter
A small program to query for games inside PGN documents
pyterion
Statistics-driven benchmarking library for Python
Untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
cpython
The Python programming language
dignissimus's Repositories
dignissimus/Untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
dignissimus/coexp
Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf
dignissimus/maia-personality
Learning Models of Individual Behavior in Chess
dignissimus/pgn-filter
A small program to query for games inside PGN documents
dignissimus/lila
♞ lichess.org: the forever free, adless and open source chess server ♞
dignissimus/pipe-kingdom
A 2d open-world game where you build and develop your own water company
dignissimus/recode-chess
dignissimus/fhe-chess-rs
A fully homomorphic chess engine
dignissimus/agda-symmetries
dignissimus/betbook
A fast way to make and track bets with your friends
dignissimus/cabal
Official upstream development repository for Cabal and cabal-install
dignissimus/chess-command-grammar
dignissimus/chessops
Chess and chess variant rules and operations in TypeScript
dignissimus/cpython
The Python programming language
dignissimus/dartchess
Dart chess library for native platforms
dignissimus/dignissimus
dignissimus/dignissimus.github.io
dignissimus/fastGPT
Fast GPT-2 inference written in Fortran
dignissimus/flix
The Flix Programming Language
dignissimus/flora-server
A package index for the Haskell ecosystem
dignissimus/fp-website
Material for generating website for functional programming
dignissimus/gammamac
Fast-paced arithmetic game, written in Nim
dignissimus/gcd
Greatest common divisor algorithms in C++ and Fortran
dignissimus/lc0.js
lc0 web assembly port
dignissimus/lila-gif
Webservice to render Gifs of chess positions and games, and stream them frame by frame
dignissimus/mathlib
Lean mathematical components library
dignissimus/mobile
Second iteration of the lichess mobile app
dignissimus/Pentagonoid
Path algebra automation for Cubical Agda
dignissimus/scalachess
Chess API written in scala. Immutable and free of side effects.
dignissimus/setlang
Programming language based on sets, written in lisp