nilehmann Goto Github PK

address-book

alamofireobjectmapper

An Alamofire extension which converts JSON response data into swift objects using ObjectMapper

aquascope

Interactive visualizations of Rust at compile-time and run-time

backtracetk

Command line util to pretty print Rust backtraces

bibifi-code

Source code for the Build-it Break-it Fix-it competition's infrastructure.

binah-apps

brewlog

An app to log my brews

cmake-modules

LibFindMacros development repository and other cool CMake stuff

cms

Contest Management System

codesync

compiler-explorer

Run compilers interactively from your web browser and interact with the assembly

coquille

Interactive theorem proving with Coq in vim.

creusot

deductive verification of Rust code. (semi) automatically prove your code satisfies your specifications!

csrankings

A web app for ranking computer science departments according to their research output in selective venues.

diem

Diem’s mission is to build a trusted and innovative financial network that empowers people and businesses around the world.

dotfiles-1

Dotfile management made easy

fcfmcourse

Template para hacer auxiliares de la FCFM

fiscalizatucolegio

frankie

Simple well-typed Haskell webserver and routing framework

furl

🌐 URL parsing and manipulation made easy.

hackaton-solar

hstringtemplate

Fork of hstringtemplate

jq.py

Python bindings for jq

k2tdb

Regular Path Queries for Graph Databases using k2trees.

lalrpop

LR(1) parser generator for Rust

libcds2

Compact Data Structures Library

libk2tree

k2tree implementation

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquid-rust

lmonad

Information Flow Control for Haskell applications