TOSPIO

syncron

A simple tool that synchronizes two folders.

jason

A toy JSON data processor

promofree

一起抵制商业推广！

pyn

Python 2.7 with annotations

gentoo-tospio

Gentoo TOSPIO overlay

react-native-chatroom

antiminesweeper

wiwinwlh

What I Wish I Knew When Learning Haskell 中文版

sickware

Where a text editor evolves.

tensorflow

Open source software library for numerical computation using data flow graphs.

caterpillar

Sequential data structure

chest

Memorize your links to everything

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.

dockerfly

a small Docker tool to help you to create container with independent macvlan Eths easily.

finger-lord

finger-lord-server

GF

GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.

ghc-mod

Happy Haskell programming for editors

goblin

A unified protocol that defines the software installation/uninstallation process.

haskell-emacs

Write Emacs extensions in Haskell

kotlin-coroutine

minesweeper-powerpack

A minesweeper solver

netmosphere-core

The core for Netmosphere

ratina-lab

simo-error-prone

This repository is purged due to copyright issues

simo-olpa

Simo Off-line Program Analyzer

snappy

A fast compressor/decompressor

tamper

Devtools extension, lets you locally edit files served from the web (based on mitmproxy).

tospio-scripts

vtop

A simple tool that visualizes real-time CPU/memory usage.