motrellin
Studying Computer Science and Mathematics for Education at FAU, focussing towards theoretical computer science and formalizing stuff with Coq.
Erlangen
motrellin's Stars
arthuraa/poleiro
A blog about Coq
hacksider/Deep-Live-Cam
real time face swap and one-click video deepfake with only a single image
adryd325/oneko.js
Cat follow mouse real! A hacky script I wrote to put a cat on my site.
ltrujello/cat_book
Introductory category theory textbook
anuraghazra/github-readme-stats
:zap: Dynamically generated stats for your github readmes
semver/semver
Semantic Versioning Specification
InkboxSoftware/excelCPU
16-bit CPU for Excel, and related files
nektos/act
Run your GitHub Actions locally 🚀
ProofGeneral/PG
This repo is the new home of Proof General
bschlangaul-sammlung/examens-aufgaben-tex
Die LaTeX-Quelltexte aller Übungs- und Examensaufgaben. Haupt-Repository des Projekts. LaTeX-Quelltexte. Sammlung von Examensaufgaben und weiteren, zusätzlichen Übungsaufgaben mit Lösungen für das Studium „Lehramt Informatik“ in Bayern.
zotero/zotero
Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.
denysvitali/thebestmotherfuckingwebsite
The title says it all.
lukaszcz/coqhammer
CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory
jbaiter/zotero-cli
Command-line interface for Zotero
jwiegley/category-theory
An axiom-free formalization of category theory in Coq for personal study and practical work
math-comp/math-comp
Mathematical Components
necojackarc/auto-request-review
A GitHub Action that automatically requests review of a pull request based on files changes and/or groups the author belongs to 🤖
GoelandProver/Goeland
A first-order concurrent automated theorem prover
plfa/plfa.github.io
An introduction to programming language theory in Agda
agda/agda
Agda is a dependently typed programming language / interactive theorem prover.
cotes2020/jekyll-theme-chirpy
A minimal, responsive, and feature-rich Jekyll theme for technical writing.
coq-community/coqdocjs
Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]
just-the-docs/just-the-docs
A modern, high customizable, responsive Jekyll theme for documentation with built-in search.
coq-community/coq-tricks
Tricks you wish the Coq manual told you [maintainer=@tchajed]
squidfunk/mkdocs-material
Documentation that simply works
ajeetdsouza/zoxide
A smarter cd command. Supports all major shells.
mkdocs/mkdocs
Project documentation with Markdown.
mhausenblas/mkdocs-deploy-gh-pages
GitHub Action to deploy an MkDocs site to GitHub Pages
Idontker/integrityEscapeRoom
LPCIC/coq-elpi
Coq plugin embedding elpi