Skip to content
View motrellin's full-sized avatar
  • Erlangen
  • 21:58 (UTC +01:00)

Highlights

  • Pro

Organizations

@fsi-la-inf

Block or report motrellin

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking 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 about reporting abuse.

Report abuse
Showing results

Wikipedia Speedrun Game

TypeScript 91 9 Updated Dec 25, 2024
Svelte 1 Updated Nov 18, 2024

A collaborative IPv6 book

TeX 235 26 Updated Dec 24, 2024

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Coq 53 14 Updated Sep 17, 2024

A web application for scheduling meetings and general polling.

Python 253 38 Updated Nov 23, 2024

Open-source Windows and Office activator featuring HWID, Ohook, KMS38, and Online KMS activation methods, along with advanced troubleshooting.

Batchfile 110,591 10,685 Updated Dec 21, 2024

A blog about Coq

Coq 47 5 Updated Apr 12, 2022

real time face swap and one-click video deepfake with only a single image

Python 42,044 6,172 Updated Jan 3, 2025

Cat follow mouse real! A hacky script I wrote to put a cat on my site.

JavaScript 753 76 Updated Dec 26, 2024

Introductory category theory textbook

TeX 5 Updated Sep 30, 2023

⚡ Dynamically generated stats for your github readmes

JavaScript 70,611 23,488 Updated Jan 1, 2025

Semantic Versioning Specification

7,321 710 Updated Jul 21, 2024

16-bit CPU for Excel, and related files

Python 4,487 381 Updated Nov 11, 2024

Run your GitHub Actions locally 🚀

Go 56,522 1,430 Updated Jan 1, 2025

This repo is the new home of Proof General

Emacs Lisp 495 90 Updated Nov 26, 2024

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 …

TeX 1 Updated Feb 15, 2023

Zotero is a free, easy-to-use tool to help you collect, organize, annotate, cite, and share your research sources.

JavaScript 10,728 779 Updated Jan 3, 2025

The title says it all.

Pug 515 44 Updated Nov 26, 2024

CoqHammer: An Automated Reasoning Hammer Tool for Coq - Proof Automation for Dependent Type Theory

OCaml 222 31 Updated Nov 30, 2024

Command-line interface for Zotero

Python 277 41 Updated May 15, 2024

An axiom-free formalization of category theory in Coq for personal study and practical work

Coq 761 71 Updated Nov 27, 2024

Mathematical Components

Coq 597 117 Updated Dec 21, 2024

A GitHub Action that automatically requests review of a pull request based on files changes and/or groups the author belongs to 🤖

JavaScript 129 34 Updated Sep 17, 2024

A first-order concurrent automated theorem prover

Go 14 1 Updated Sep 21, 2024

An introduction to programming language theory in Agda

Agda 1,382 319 Updated Dec 16, 2024

Agda is a dependently typed programming language / interactive theorem prover.

Haskell 2,540 365 Updated Jan 3, 2025

A minimal, responsive, and feature-rich Jekyll theme for technical writing.

HTML 7,834 6,135 Updated Dec 30, 2024

Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

JavaScript 37 17 Updated Jul 31, 2024

A modern, high customizable, responsive Jekyll theme for documentation with built-in search.

SCSS 7,764 3,700 Updated Dec 28, 2024

Tricks you wish the Coq manual told you [maintainer=@tchajed]

Coq 507 22 Updated Aug 13, 2024
Next
Showing results