knothed

CodeEdit

📝 CodeEdit App for macOS – Elevate your code editing experience. Open source, free forever.

movfuscator

The single instruction C compiler

swift

Swift for TensorFlow

lean4

Lean 4 programming language and theorem prover

lean3

Lean Theorem Prover

Pulley

A library to imitate the iOS 10 Maps UI.

SFSafeSymbols

Safely access Apple's SF Symbols using static typing

CoronaTracker

Coronavirus tracker app for iOS & macOS with maps & charts

swift-tagged

🏷 A wrapper type for safer, expressive code.

iosMath

Beautiful math equation rendering on iOS and MacOS

macmediakeyforwarder

Media Key Forwarder for iTunes and Spotify

glance

🔎 All-in-one Quick Look plugin

swiftui-router

Path-based routing in SwiftUI

parsec

A monadic parser combinator library

electrolysis

Simple verification of Rust programs via functional purification in Lean 2(!)

iOS-device-support-files

iOS 1x not supported by Xcode : Could not locate device support files

happy

The Happy parser generator for Haskell

LeanInk

LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.

flow_solver

Fast automated solver for Flow Free in a single C or Python file.

happy-alex-example

Example of combining Alex (lexical parser) and Happy (syntax parser)

WWDC2020-IntoFourDimensions

WWDC2020 Swift Student Challenge[Accepted] - IntoFourDimensions playground book

curve

A curve with varying local Hausdorff dimension

foldr-build

A foldr/build fusion library

Fractals

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

Symmetries

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

julia

Simple fractal drawing software

bibleserver-scraper-DE

Repackages German bibles from bibleserver.com for MySword and OpenLP

dom-lt

WWDC2020

My WWDC 2020 Swift Student Challenge Submission [Successful]

WWDC2021

My WWDC 2021 Swift Student Challenge Submission [Successful]