Cody Koeninger (koeninger)

koeninger

Geek Repo

Location:Austin, TX

Github PK Tool:Github PK Tool

Cody Koeninger's starred repositories

schema-registry

Confluent Schema Registry for Kafka

Language:JavaLicense:NOASSERTIONStargazers:2158Issues:0Issues:0

schemer

Schema registry for CSV, TSV, JSON, AVRO and Parquet schema. Supports schema inference and GraphQL API.

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

company-tabnine

A company-mode backend for TabNine, the all-language autocompleter: https://tabnine.com/

Language:Emacs LispLicense:MITStargazers:685Issues:0Issues:0

bucklescript-tea

TEA for Bucklescript

Language:JavaScriptLicense:NOASSERTIONStargazers:601Issues:0Issues:0
Language:ScalaStargazers:21Issues:0Issues:0

octopus

Scala library for boilerplate-free validation

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

TIC-80

TIC-80 is a fantasy computer for making, playing and sharing tiny games.

Language:CLicense:MITStargazers:4847Issues:0Issues:0

ProjectScaffold

A prototypical .NET solution (file system layout and tooling), recommended for F# projects

Language:F#License:UnlicenseStargazers:515Issues:0Issues:0

effects

A brief exploration of the various approaches to modeling side effects in a purely functional programming language.

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

git_fdw

PostgreSQL Git Foreign Data Wrapper

Language:CLicense:MITStargazers:47Issues:0Issues:0

specs

Specs - Parallel ECS

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

Kinder

Algebraic structure and emulation of higher kinded types for Rust

Language:RustLicense:MITStargazers:107Issues:0Issues:0

applied-fp-course

Applied Functional Programming Course - Move from exercises to a working app!

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

rust-web-framework-comparison

A comparison of some web frameworks and libs written in Rust

Language:RustStargazers:4838Issues:0Issues:0

Vegas

The missing MatPlotLib for Scala + Spark

Language:ScalaLicense:MITStargazers:730Issues:0Issues:0

TypeFunc

Resources for type theory, functional programming, etc.

Stargazers:308Issues:0Issues:0

did

What did you do last week, month, year?

Language:PythonLicense:GPL-2.0Stargazers:243Issues:0Issues:0

git-standup

Recall what you did on the last working day. Psst! or be nosy and find what someone else in your team did ;-)

Language:ShellLicense:MITStargazers:7554Issues:0Issues:0

doctest

An implementation of Python's doctest for Haskell

Language:HaskellLicense:MITStargazers:374Issues:0Issues:0

angularjs-styleguide

AngularJS styleguide for teams

Stargazers:5976Issues:0Issues:0

angular-styleguide

Angular Style Guide: A starting point for Angular development teams to provide consistency through good practices.

License:MITStargazers:23911Issues:0Issues:0

lila

♞ lichess.org: the forever free, adless and open source chess server ♞

Language:ScalaLicense:AGPL-3.0Stargazers:14774Issues:0Issues:0

HdrHistogram

A High Dynamic Range (HDR) Histogram

Language:JavaLicense:NOASSERTIONStargazers:2147Issues:0Issues:0

scala-js-typescript

A TypeScript-to-Scala.js converter. Designed for parsing definitelytyped.com, powers definitelyscala.com.

Language:ScalaStargazers:21Issues:0Issues:0

scala-js-ts-importer

TypeScript Importer for Scala.js

Language:ScalaStargazers:233Issues:0Issues:0

stainless

Verification framework and tool for higher-order Scala programs

Language:HTMLLicense:Apache-2.0Stargazers:348Issues:0Issues:0

scala-pet-store

An implementation of the java pet store using FP techniques in scala

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

scala-exercises

The easy way to learn Scala.

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

OpenHFT

Parent module to include active modules

Language:ShellLicense:LGPL-3.0Stargazers:625Issues:0Issues:0

Binding.scala-Google-Maps

Binding.scala - Google Maps - Step by Step Tutorial

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