benkonz

followers

following

stars

Spotify

Jersey City, NJ

benkonz.github.io

Organizations

unoacm

Ben Konz's starred repositories

intellij-rainbow-brackets

🌈Rainbow Brackets for IntelliJ based IDEs/Android Studio/HUAWEI DevEco Studio/Fleet

Language:KotlinGPL-3.0443900

scallop

a simple Scala CLI parsing library

Language:ScalaMIT67600

Nim

Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).

Language:NimNOASSERTION1648800

reverie

:art: A ridiculously elegant Jekyll theme.

Language:SCSSMIT78900

ProgrammingResources

A place to collect some of my favorite resources on programming; from abstract theory to useful examples.

MIT200

prog-fuzz

Compiler/source code fuzzing tool using AFL instrumentation

Language:C++GPL-3.012400

google-translate

Emacs interface to Google Translate

Language:Emacs Lisp36900

ppx_deriving

Type-driven code generation for OCaml

Language:OCamlMIT46200

mousetrap

Simple library for handling keyboard shortcuts in Javascript

Language:JavaScriptApache-2.01166200

i3

A tiling window manager for X11

Language:CBSD-3-Clause946100

wdio

Docker setup for WebdriverIO with automatic screenshots, image diffing and screen recording support for containerized versions of Chrome and Firefox on Linux, mobile versions of Chrome and Firefox on Android as well as Safari on iOS, Safari on macOS and Edge on Windows.

Language:JavaScriptMIT29600

scala

Scala 2 compiler and standard library. Scala 2 bugs at https://github.com/scala/bug; Scala 3 at https://github.com/scala/scala3

Language:ScalaApache-2.01432300

pyREtic

pyREtic is an extensible framework for in-memory Python 2.x bytecode reverse engineering

Language:PythonGPL-3.026700

alcotest

A lightweight and colourful test framework

Language:OCamlISC45100

TypeScript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

Language:TypeScriptApache-2.010047500

editorconfig-emacs

EditorConfig plugin for Emacs

Language:Emacs LispGPL-3.073900

google-cloud-sdk-fish-completion

Google Cloud Platform SDK command line utilities shell completion for fish

Language:ShellApache-2.09700

spacemacs

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs LispGPL-3.02366200

azkaban

Azkaban workflow manager.

Language:JavaApache-2.0445800

evil

The extensible vi layer for Emacs.

Language:Emacs LispGPL-3.0335200

ocaml-pythonlib

OCaml library for parsing and pretty printing Python code

Language:OCaml3900

kitty

Cross-platform, fast, feature-rich, GPU based terminal

Language:PythonGPL-3.02404800

libpnet

Cross-platform, low level networking using the Rust programming language.

Language:RustApache-2.0227300

ocaml-git

Pure OCaml Git format and protocol

Language:OCamlISC36300

codemirror5

In-browser code editor (version 5, legacy)

Language:JavaScriptMIT2679000

guake

Drop-down terminal for GNOME

Language:PythonGPL-2.0441800

dune

A composable build system for OCaml.

Language:OCamlMIT161500

merlin

Context sensitive completion for OCaml in Vim and Emacs

Language:OCamlMIT157400

doomemacs

An Emacs framework for the stubborn martian hacker

Language:Emacs LispMIT1932200

cphb

Competitive Programmer's Handbook

Language:TeX291500