Giters
Chase Norman (chasenorman)

chasenorman

Geek Repo

27

followers

7

following

2

stars

Github PK Tool:Github PK Tool

Chase Norman's repositories

Formalized-Voting

Language:LeanStargazers:12Issues:1Issues:1

JQuantum

A quantum computing library for java

Language:JavaStargazers:6Issues:2Issues:0

PipeSynth-AEC

Language:PythonLicense:MITStargazers:5Issues:1Issues:2

BinaryBlockingFlow

Implementation of Goldberg and Rao's Binary Blocking Flow algorithm.

Language:PythonStargazers:4Issues:2Issues:0

Cranbrook-App

Language:SwiftStargazers:2Issues:0Issues:0

HorizonWireless

Language:JavaStargazers:1Issues:0Issues:0

39Z

39Z python program

Language:PythonStargazers:0Issues:1Issues:0

AnkiChess

Language:PythonStargazers:0Issues:0Issues:0

application

A simple drawing application for a website.

Stargazers:0Issues:0Issues:0

Composer

Composes 4 part chorales in the style of the common practice period.

Language:JavaStargazers:0Issues:0Issues:0

FormalizedFoundations

Language:LeanStargazers:0Issues:0Issues:0

glue

Connect client and server with function calls, not HTTP APIs.

Language:RustStargazers:0Issues:2Issues:0

Harmony

Solving Harmony.

Language:JavaStargazers:0Issues:0Issues:0

Logic

Language:JavaStargazers:0Issues:1Issues:0

Scheduler

Stargazers:0Issues:0Issues:0

Team_39B_CubeSat_Code

This is our team's StarStruck Code

Language:CStargazers:0Issues:0Issues:0

test

Stargazers:0Issues:1Issues:0

Thymesia

Language:SwiftStargazers:0Issues:2Issues:0

TrueHarmony

VST for the creation of microtonal harmonies

Language:C++Stargazers:0Issues:1Issues:0

upenu.github.io

Official website for UPE @ UC Berkeley.

Language:JavaScriptStargazers:0Issues:0Issues:0

verified-encodings-social-choice

For verifying a SAT encoding using ccodel's verified-encodings project.

Language:LeanStargazers:0Issues:0Issues:0

whale

Generates the UPE whale in high resolution in the terminal

Language:CStargazers:0Issues:1Issues:0