dignissimus/per-version-resource-packs dignissimus/per-version-resource-packs

  • Stars
    star
    1
  • Language
    Java
  • License
    GNU Affero Genera...
  • Created over 7 years ago
  • Updated over 7 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
dignissimus/per-version-resource-packs
github

dignissimus

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

More Repositories

1

Untangle

Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4
Lean
15
star
2

lichess-speedrun

A tool to ethically perform speedruns on lichess (WIP)
TypeScript
8
star
3

lichess-unpackaged

Miscellaneous documents pertaining to the Lichess website.
Python
3
star
4

pyterion

Statistics-driven benchmarking library for Python
Rust
3
star
5

pgn-filter

A small program to query for games inside PGN documents
Python
2
star
6

coexp

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

ABM

My first big Agent Based Computational Economic Model
Python
2
star
8

advent-of-code-2022

My solutions to Advent of Code 2022
Haskell
1
star
9

pipe-kingdom

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

aqavm

WIP lexer, parser, interpreter and LLVM compiler for aqa pseudcode and assembly language
Rust
1
star
11

Dentured

The Dentured programming language
Kotlin
1
star
12

recode-chess

1
star
13

presearch

A python program to query python scripts via syntax
Python
1
star
14

chessemory

The Chess memory-game
CSS
1
star
15

ASP

A "simple" Stack-oriented programming language
Python
1
star