nilehmann/coquille
Interactive theorem proving with Coq in vim.
Developer Profile
nilehmann
Discovered public repositories for nilehmann in the GitHub catalog.
nilehmann/cms
Contest Management System
nilehmann/k2tdb
Regular Path Queries for Graph Databases using k2trees.
nilehmann/libcds2
Compact Data Structures Library
nilehmann/popcorn-app
An experiment using the peerflix module of nodejs and connecting a bunch of APIs.
nilehmann/libk2tree
k2tree implementation
nilehmann/RePair-WaveletTree-Graph
Graph Implementation with repair bitmap compressed WaveletTree
nilehmann/FiscalizaTuColegio
Public repository.
nilehmann/Tarea-2-Compiladores
Public repository.
nilehmann/Online-Judge-Solutions
Solutions to ACM ICPC - style problems
nilehmann/T3Alg
Tarea 3 de Algoritmos
nilehmann/T2Alg
Tarea 2 de Algoritmos
nilehmann/Repositorio-Algoritmos-ICPC
Repositorio con algoritmos comunes para la competencia de programación ICPC