Skip to content
View dignissimus's full-sized avatar
💭
Figuring out new ways to break my code
💭
Figuring out new ways to break my code
42 followers · 21 following

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pair Extraordinairex3Achievement: YOLOAchievement: StarstruckAchievement: Pull Sharkx3Achievement: QuickdrawAchievement: Arctic Code Vault Contributor

Organizations

@cactool

Block or report dignissimus

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more aboutblocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more aboutreporting abuse.

Report abuse

  • dignissimus.github.io Public

    HTML 1 UpdatedOct 27, 2024

  • pgn-filter Public

    A small program to query for games inside PGN documents

    chess pgn
    Python 3 MIT License UpdatedOct 25, 2024

  • dignissimus Public

    UpdatedOct 20, 2024

  • betbook Public

    A fast way to make and track bets with your friends

    Rust 1 UpdatedOct 19, 2024

  • Untangle Public

    Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4

    Lean 23 2 UpdatedJun 27, 2024

  • fp-website Public

    Forked fromCOMP2221/fp-website

    Material for generating website for functional programming

    Haskell Creative Commons Attribution Share Alike 4.0 International UpdatedApr 20, 2024

  • agda-symmetries Public

    Forked frompufferffish/agda-symmetries
    TeX MIT License UpdatedApr 11, 2024

  • Pentagonoid Public

    Path algebra automation for Cubical Agda

    Haskell UpdatedMar 29, 2024

  • cpython Public

    Forked frompython/cpython

    The Python programming language

    Python Other UpdatedFeb 21, 2024

  • coexp Public

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

    Rust 2 UpdatedFeb 11, 2024

  • lila Public

    Forked fromlichess-org/lila

    ♞ lichess.org: the forever free, adless and open source chess server ♞

    Scala 1 GNU Affero General Public License v3.0 UpdatedDec 1, 2023

  • flix Public

    Forked fromflix/flix

    The Flix Programming Language

    Scala Other UpdatedSep 25, 2023

  • maia-personality Public

    Forked fromCSSLab/maia-individual

    Learning Models of Individual Behavior in Chess

    Python 2 1 GNU Affero General Public License v3.0 UpdatedSep 5, 2023

  • scalachess Public

    Forked fromlichess-org/scalachess

    Chess API written in scala. Immutable and free of side effects.

    Scala MIT License UpdatedAug 25, 2023

  • chessops Public

    Forked fromniklasf/chessops

    Chess and chess variant rules and operations in TypeScript

    TypeScript GNU General Public License v3.0 UpdatedAug 24, 2023

  • fastGPT Public

    Forked fromcertik/fastGPT

    Fast GPT-2 inference written in Fortran

    Fortran MIT License UpdatedAug 9, 2023

  • lc0.js Public

    lc0 web assembly port

    C++ GNU General Public License v3.0 UpdatedMay 31, 2023

  • gcd Public

    Greatest common divisor algorithms in C++ and Fortran

    C++ UpdatedMay 19, 2023

  • gammamac Public

    Fast-paced arithmetic game, written in Nim

    Nim UpdatedApr 18, 2023

  • setlang Public

    Programming language based on sets, written in lisp

    Racket UpdatedApr 15, 2023

  • mathlib Public

    Forked fromleanprover-community/mathlib3

    Lean mathematical components library

    Lean Apache License 2.0 UpdatedMar 18, 2023

  • dartchess Public

    Forked fromlichess-org/dartchess

    Dart chess library for native platforms

    Dart GNU General Public License v3.0 UpdatedMar 14, 2023

  • flora-server Public

    Forked fromflora-pm/flora-server

    A package index for the Haskell ecosystem

    Haskell Other UpdatedMar 13, 2023

  • cabal Public

    Forked fromhaskell/cabal

    Official upstream development repository for Cabal and cabal-install

    Haskell Other UpdatedMar 4, 2023

  • recode-chess Public

    1 GNU General Public License v3.0 UpdatedFeb 17, 2023

  • mobile Public

    Forked fromlichess-org/mobile

    Second iteration of the lichess mobile app

    Dart GNU General Public License v3.0 UpdatedFeb 15, 2023

  • chess-command-grammar Public

    Python UpdatedFeb 13, 2023

  • pipe-kingdom Public

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

    Python 1 UpdatedJan 23, 2023

  • lila-gif Public

    Forked fromlichess-org/lila-gif

    Webservice to render Gifs of chess positions and games, and stream them frame by frame

    Rust GNU Affero General Public License v3.0 UpdatedJan 8, 2023

  • fhe-chess-rs Public

    A fully homomorphic chess engine

    Rust UpdatedJan 2, 2023