Giters
Gregor Feierabend (g-regex)

g-regex

Geek Repo

5

followers

2

following

8

stars

Github PK Tool:Github PK Tool

Gregor Feierabend's repositories

sofia_haskell

sofia_haskell

Language:HaskellLicense:GPL-3.0Stargazers:2Issues:0Issues:0

gentoo-ebuilds

Language:ShellStargazers:0Issues:1Issues:0

katydid-proofs

Proofs written in Lean4 for the core katydid validation algorithm

Language:LeanLicense:Apache-2.0Stargazers:0Issues:0Issues:0

prove

[prove]: proof verification system using bracketed expressions

Language:CLicense:GPL-3.0Stargazers:0Issues:0Issues:0

WillowTikZ

Language:HaskellLicense:GPL-3.0Stargazers:0Issues:0Issues:0