Giters
Ben Konz (benkonz)

benkonz

Geek Repo

13

followers

24

following

108

stars

Company:Spotify

Location:Jersey City, NJ

Home Page:benkonz.github.io

Github PK Tool:Github PK Tool

Organizations
unoacm

Ben Konz's starred repositories

coding-interview-university

A complete computer science study plan to become a software engineer.

License:CC-BY-SA-4.0Stargazers:303280Issues:0Issues:0

neovim

Vim-fork focused on extensibility and usability

Language:Vim ScriptLicense:NOASSERTIONStargazers:81271Issues:0Issues:0

sedlex

An OCaml lexer generator for Unicode

Language:OCamlLicense:MITStargazers:235Issues:0Issues:0

code_court

Software for running programming competitons

Language:JavaScriptLicense:MITStargazers:9Issues:0Issues:0

xwiimote

Open Source Nintendo Wii Remote Linux Device Driver

Language:CLicense:NOASSERTIONStargazers:240Issues:0Issues:0

menhir-example

This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to parse a file which contains arithmetic expressions.

Language:OCamlLicense:WTFPLStargazers:52Issues:0Issues:0

DOOM

DOOM Open Source Release

Language:C++License:GPL-2.0Stargazers:13614Issues:0Issues:0

stdweb

A standard library for the client-side Web

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

antlr4

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

Language:JavaLicense:BSD-3-ClauseStargazers:16905Issues:0Issues:0

rusti

REPL for the Rust programming language

Language:RustLicense:NOASSERTIONStargazers:1321Issues:0Issues:0

relm

Idiomatic, GTK+-based, GUI library, inspired by Elm, written in Rust

Language:RustLicense:MITStargazers:2430Issues:0Issues:0

rust

Empowering everyone to build reliable and efficient software.

Language:RustLicense:NOASSERTIONStargazers:96376Issues:0Issues:0

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4759Issues:0Issues:0

FiraCode

Free monospaced font with programming ligatures

Language:ClojureLicense:OFL-1.1Stargazers:76570Issues:0Issues:0

fmt

A modern formatting library

Language:C++License:NOASSERTIONStargazers:20320Issues:0Issues:0

intellij-rust

Rust plugin for the IntelliJ Platform

Language:KotlinLicense:MITStargazers:4536Issues:0Issues:0

cargo-web

A Cargo subcommand for the client-side Web

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

protobuf

Protocol Buffers - Google's data interchange format

Language:C++License:NOASSERTIONStargazers:65043Issues:0Issues:0