kutsurak Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover.

awesome-python

A curated list of awesome Python frameworks, libraries, software and resources

be-tree

A simple, reference implementation of a B^e-tree

configuration-manager

A Java library to parse configuration files

cpython

The Python programming language

crawl

Dungeon Crawl: Stone Soup official repository

cvtools

daemon-rs

Wrapper for linux demon/windows service for Rust

difftastic

a structural diff that understands syntax 🟥🟩

dnsguide

A guide to writing a DNS Server from scratch in Rust

doom-emacs

An Emacs configuration for the stubborn martian vimmer

dslabs

Distributed Systems Labs and Framework

dspace

(Official) The DSpace digital asset management system that powers your Institutional Repository

dspace-turkish-studies

el-get

Manage the external elisp bits and pieces upon which you depend!

explain-git-with-d3

Use D3 to visualize simple git branching operations.

faker

Faker is a Python package that generates fake data for you.

fare-csv

fp101x-content

FP101x - Functional Programming MOOC Content

fysom

Finite State Machine for Python (based on Jake Gordon's javascript-state-machine)

git-hg

A git-hg utility for checking out and tracking a mercurial repo.

git-remote-hg

Transparent bidirectional bridge between Git and Mercurial for Git

glucometerutils

Glucometer access utilities

goto

Linux Shell 'cd' replacement tool. cd on steroids, with fuzzy file finder and a directory bookmark saver.

guile-json

JSON module for Guile

hatch

A modern project, package, and virtual env manager for Python

homebox

A set of ansible scripts to build a personal mail server / private cloud / etc.

json-parser

A simple recursive descent JSON parser

jsontestsuite

A comprehensive test suite for RFC 8259 compliant JSON parsers

learnhaskell

Learn Haskell