Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by dignissimus
A curated list of projects in awesome lists by dignissimus .
https://github.com/dignissimus/untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Last synced: 05 Jan 2025
https://github.com/dignissimus/Untangle
Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Last synced: 29 Nov 2024
https://github.com/dignissimus/lichess-speedrun
A tool to ethically perform speedruns on lichess (WIP)
chess extension firefox-extension lichess speedrun svelte typescript webextension
Last synced: 05 Jan 2025
https://github.com/dignissimus/lichess-unpackaged
Miscellaneous documents pertaining to the Lichess website.
Last synced: 05 Jan 2025
https://github.com/dignissimus/pyterion
Statistics-driven benchmarking library for Python
Last synced: 05 Jan 2025
https://github.com/dignissimus/coexp
Implementation of the lambda-lambda-bar calculus from "The Duality of Abstraction" https://vikraman.org/files/popl24-coexp.pdf
Last synced: 05 Jan 2025
https://github.com/dignissimus/pgn-filter
A small program to query for games inside PGN documents
Last synced: 05 Jan 2025
https://github.com/dignissimus/asp
A "simple" Stack-oriented programming language
programming-language python python3
Last synced: 05 Jan 2025
https://github.com/dignissimus/abm
My first big Agent Based Computational Economic Model
Last synced: 05 Jan 2025
https://github.com/dignissimus/betbook
A fast way to make and track bets with your friends
Last synced: 05 Jan 2025
https://github.com/dignissimus/aqavm
WIP lexer, parser, interpreter and LLVM compiler for aqa pseudcode and assembly language
Last synced: 05 Jan 2025
https://github.com/dignissimus/pipe-kingdom
A 2d open-world game where you build and develop your own water company
Last synced: 05 Jan 2025
https://github.com/dignissimus/presearch
A python program to query python scripts via syntax
Last synced: 05 Jan 2025
https://github.com/dignissimus/prancer
An ARP library I made after reverse engineering the ARP protocol
Last synced: 05 Jan 2025
https://github.com/dignissimus/petyacraft
Petya ransomeware for your Minecraft server!
Last synced: 05 Jan 2025
https://github.com/dignissimus/nserv
A HTTP server written entirely in Rust
Last synced: 05 Jan 2025
https://github.com/dignissimus/nirctools
The simple way to interact with IRC
Last synced: 05 Jan 2025
https://github.com/dignissimus/nftp
A new way to deliver files over the internet
Last synced: 05 Jan 2025
https://github.com/dignissimus/javaskript
A simple way for you to create Bukkit plugins in JavaScript
bukkit bukkit-plugin javascript minecraft spigot spigot-plugin spigot-resource
Last synced: 05 Jan 2025
https://github.com/dignissimus/jpicl
Java/Python Interpreted Compiled Langued, An Interpreted/"Compiled" language that was supposed to be like python but turned out to look something a bit similar to ruby
Last synced: 05 Jan 2025
https://github.com/dignissimus/gammamac
Fast-paced arithmetic game, written in Nim
Last synced: 05 Jan 2025
https://github.com/dignissimus/gcd
Greatest common divisor algorithms in C++ and Fortran
Last synced: 05 Jan 2025
https://github.com/dignissimus/halt
A dependently typed language with guaranteed termination
Last synced: 05 Jan 2025
https://github.com/dignissimus/fhe-chess-rs
A fully homomorphic chess engine
Last synced: 05 Jan 2025
https://github.com/dignissimus/fhe-database
A fully homomorphic key-value store
Last synced: 05 Jan 2025
https://github.com/dignissimus/fhe-chess-model
Some of the code used to tune my Homomorphic Chess Engine
Last synced: 05 Jan 2025
https://github.com/dignissimus/construction-c
The Construction programming language (old, rewritten and extended much further in rust)
Last synced: 05 Jan 2025
https://github.com/dignissimus/calofree
A light-weight browser extension to hide calorie information on websites
Last synced: 05 Jan 2025
https://github.com/dignissimus/github-actions-turing-machine
One of my many projects at Durhack 2022
Last synced: 05 Jan 2025
https://github.com/dignissimus/sined-messages
Attempts to send data using sound
Last synced: 05 Jan 2025
https://github.com/dignissimus/friendly-mode
A Bukkit Plugin to allow players to turn on and off PvP for themselves
Last synced: 05 Jan 2025
https://github.com/dignissimus/python-paper
An old project that transforms data into 'memorable' words, inspired by the Keybase paper keys
Last synced: 05 Jan 2025
https://github.com/dignissimus/quarkon
Quantum circuit simulation in python
Last synced: 05 Jan 2025
https://github.com/dignissimus/pentagonoid
Path algebra automation for Cubical Agda
Last synced: 05 Jan 2025
https://github.com/dignissimus/pyjlang
A python like language which is supposed to compile to Java
java language programming-language python
Last synced: 05 Jan 2025
https://github.com/dignissimus/voskcontainer
A docker image for building vosk language models
Last synced: 05 Jan 2025
https://github.com/dignissimus/universal-translator
A naive attempt at word translation by attempting to reverse historic sound changes
Last synced: 05 Jan 2025
https://github.com/dignissimus/sined-messages-android
Simple android application to receive data over sound (poc)
Last synced: 05 Jan 2025
https://github.com/dignissimus/srilm-aur
Arch-Linux PKGBUILD for The SRI Language Modelling Toolkit
Last synced: 05 Jan 2025
https://github.com/dignissimus/setlang
Programming language based on sets, written in lisp
Last synced: 05 Jan 2025
https://github.com/dignissimus/advent-of-code-2022
My solutions to Advent of Code 2022
Last synced: 05 Jan 2025
https://github.com/dignissimus/safarinet
A hack of a plugin to replace the premium one
Last synced: 05 Jan 2025
https://github.com/dignissimus/advent-of-code-2024
advent-of-code advent-of-code-2024 adventofcode aoc-2024-in-fortran
Last synced: 05 Jan 2025