Giters
Cody Koeninger (koeninger)

koeninger

Geek Repo

128

followers

1

following

263

stars

Location:Austin, TX

Github PK Tool:Github PK Tool

Cody Koeninger's starred repositories

macos-watcher

Language:ScalaStargazers:12Issues:0Issues:0

Bidirectional

Haskell implementation of Dunfield and Krishnaswami's "Complete and easy bidirectional typechecking for higher-rank polymorphism"

Language:HaskellLicense:BSD-3-ClauseStargazers:128Issues:0Issues:0

JustEnoughScalaForSpark

A tutorial on the most important features and idioms of Scala that you need to use Spark's Scala APIs.

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:673Issues:0Issues:0

sbt-optimizer

An sbt plugin to analyze sbt task execution

Language:ScalaLicense:Apache-2.0Stargazers:87Issues:0Issues:0

scalajs-react

Facebook's React on Scala.JS

Language:ScalaLicense:Apache-2.0Stargazers:1639Issues:0Issues:0

boopickle

Binary serialization library for efficient network communication

Language:ScalaLicense:Apache-2.0Stargazers:366Issues:0Issues:0

oasis

A LISP in Rust

Language:RustStargazers:9Issues:0Issues:0

dist-prog-book

Language:CSSLicense:NOASSERTIONStargazers:3421Issues:0Issues:0

treelog

Allows logging in a tree structure so that comprehensive logging does not become incomprehensible

Language:ScalaLicense:MITStargazers:220Issues:0Issues:0

patterns

A catalogue of Rust design patterns, anti-patterns and idioms

Language:HandlebarsLicense:MPL-2.0Stargazers:7877Issues:0Issues:0

statsd-jvm-profiler

Simple JVM Profiler Using StatsD and Other Metrics Backends

Language:JavaLicense:MITStargazers:330Issues:0Issues:0

dbsteward

XML based SQL database change management tool

Language:PHPLicense:NOASSERTIONStargazers:50Issues:0Issues:0

migra

Like diff but for PostgreSQL schemas

Language:PythonLicense:UnlicenseStargazers:2884Issues:0Issues:0

videojs-vast-vpaid

video.js vast plugin

Language:JavaScriptLicense:MITStargazers:297Issues:0Issues:0

video-js-vpaid

VPAID Linear Advert Flash Player for VideoJS

Language:JavaScriptLicense:NOASSERTIONStargazers:32Issues:0Issues:0

Essentials-of-Compilation

A book about compiling Racket and Python to x86-64 assembly

Language:TeXStargazers:1256Issues:0Issues:0

aerodis

Use aerospike through a Redis interface

Language:GoLicense:NOASSERTIONStargazers:24Issues:0Issues:0

webgrind

Xdebug Profiling Web Frontend in PHP

Language:PythonLicense:NOASSERTIONStargazers:24Issues:0Issues:0

future

High-performance Future implementation for the JVM

Language:JavaLicense:Apache-2.0Stargazers:232Issues:0Issues:0

php-rpm

PHP Rust Process Manager

Language:RustLicense:Apache-2.0Stargazers:116Issues:0Issues:0

GestureSign

A gesture recognition software for Windows tablet

Language:C#License:GPL-2.0Stargazers:719Issues:0Issues:0

awesome-scala

A community driven list of useful Scala libraries, frameworks and software.

Language:PythonLicense:Apache-2.0Stargazers:8984Issues:0Issues:0

awesome-java

A curated list of awesome frameworks, libraries and software for the Java programming language.

License:NOASSERTIONStargazers:40808Issues:0Issues:0

Competitive-programming-library

Code library for competitive programming purposes.

Language:JavaLicense:CC-BY-4.0Stargazers:2426Issues:0Issues:0

rust-algorithms

Common data structures and algorithms in Rust

Language:RustLicense:MITStargazers:3710Issues:0Issues:0

elements_in_rust

Algorithms and Concepts from Stepanov's "Elements of Programming" implemented in Rust

Language:RustStargazers:22Issues:0Issues:0

grpc-rust

Rust implementation of gRPC

Language:RustLicense:MITStargazers:1375Issues:0Issues:0

grpc-gateway

gRPC to JSON proxy generator following the gRPC HTTP spec

Language:GoLicense:BSD-3-ClauseStargazers:17770Issues:0Issues:0

needrun

The shortest and simplest linux script to setup a brand new machine for an application.

Language:ShellLicense:Apache-2.0Stargazers:5Issues:0Issues:0

rust-skeptic

Test your Rust Markdown documentation via Cargo

Language:RustLicense:Apache-2.0Stargazers:284Issues:0Issues:0