Beast code in Giters

Nadav Kohen's repositories

IUGradMathCrashCourse

IU math grad students learning coding and cryptography

Language:Scala5 20

InteractionCombinators

Two implementations of Lambda Calculus using Interaction Combinators

Language:Java1 10

abalone-s

Nadav's Attempt at an abalone engine (WIP)

Language:Scala010

bips

Bitcoin Improvement Proposals

Language:Python010

bitcoin-s-core

Bitcoin Implementation in Scala (core module)

Language:ScalaMIT010

CounterPoint

Work In Progress Modal CounterPoint solver

Language:Scala020

dlcspecs-1

Specification for Discreet Log Contracts

CC-BY-4.0010

Game_Battler

PVE battle game

Language:Java010

Path_Cutthroat

Implementation of solution to the combinatorial game Cutthroat played on a path

Language:C#010

Regex

Converts regular expressions into finite automata.

Language:Java010

dlcspecs

Specification for Discreet Log Contracts

010

K34

Backtrack searcher for a consecutive radio labeling of K_3^4

Language:Java010

lightning-rfc

Lightning Network Specifications

Language:Python010

PopulationSimulation

Predator and Prey simulation based on http://www.shodor.org/interactivate/activities/RabbitsAndWolves/

Language:Java010

rust-lightning

Rust-Lightning, not Rusty's Lightning

Language:RustApache-2.0010

rust-secp256k1

Rust language bindings for Bitcoin secp256k1 library.

Language:CCC0-1.0010

scriptless-scripts

Documentation about scriptless scripts

Language:TeX010

Seating_Chart

Random Seating Chart generator

Language:Java010

secp256k1

Optimized C library for EC operations on curve secp256k1

Language:CMIT010

secp256k1-zkp

Experimental fork of libsecp256k1 with support for pedersen commitments and range proofs.

Language:CMIT010

slate

Beautiful static documentation for your API

Language:JavaScriptNOASSERTION010

text-editor

(WIP) A text editor which allows for arbitrary collapsing and expanding of text (in-place)

Language:ScalaMIT020

zulip

Zulip server - powerful open source group chat

Language:PythonApache-2.0040