David (knothed)

knothed

Geek Repo

Location:Karlsruhe

Home Page:piknotech.com

Github PK Tool:Github PK Tool


Organizations
piknotech

David's repositories

Fractals

My Winning Submission for Apple's WWDC 2020 Swift Student Challenge

Language:SwiftStargazers:4Issues:1Issues:0

Symmetries

My Winning Submission for Apple's WWDC 2021 Swift Student Challenge

Language:SwiftStargazers:4Issues:1Issues:0

hydra

Official rules for the Hydra game

algebraic-fibrations

A tool to find virtual algebraic fibrations of right-angled Coxeter groups.

Language:CStargazers:0Issues:1Issues:0

bachelor-thesis

The Happy parser generator for Haskell

Language:HaskellLicense:NOASSERTIONStargazers:0Issues:0Issues:0

bibleserver-scraper-DE

Repackages German bibles from bibleserver.com for MySword and OpenLP

Language:JavaLicense:GPL-3.0Stargazers:0Issues:0Issues:0
Language:HaskellStargazers:0Issues:1Issues:0

ghc-proposals

Proposed compiler and language changes for GHC and GHC/Haskell

Language:PythonStargazers:0Issues:0Issues:0

haddock

Haskell Documentation Tool

Language:HTMLLicense:BSD-2-ClauseStargazers:0Issues:0Issues:0

happy-rad

A modular happy extension providing a recursive ascent-descent backend

Language:HaskellStargazers:0Issues:1Issues:0

nauty

unofficial repository of nauty and traces, the graph automorphism tools. We aspire to track the official repos closely, but for the latest please visit the official homepage.

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0