TOSPIO

Pinned Repositories

antiminesweeper
Language:Haskell1 2 00
gentoo-tospio
Gentoo TOSPIO overlay
Language:Shell2 2 00
jason
A toy JSON data processor
Language:Haskell3 2 01
promofree
一起抵制商业推广！
Language:JavaScript3 2 00
pyn
Python 2.7 with annotations
Language:Haskell3 2 51
react-native-chatroom
Language:JavaScript2 2 00
syncron
A simple tool that synchronizes two folders.
Language:Haskell4 2 12
tdesktop
Telegram Desktop messaging app
Language:C++0 2 00
tensorflow
Open source software library for numerical computation using data flow graphs.
Language:C++0 2 00
wiwinwlh
What I Wish I Knew When Learning Haskell 中文版
Language:Haskell1 3 00

TOSPIO's Repositories

TOSPIO/syncron
A simple tool that synchronizes two folders.
Language:Haskell4 2 12
TOSPIO/jason
A toy JSON data processor
Language:Haskell3 2 01
TOSPIO/promofree
一起抵制商业推广！
Language:JavaScript3 2 00
TOSPIO/pyn
Python 2.7 with annotations
Language:Haskell3 2 51
TOSPIO/gentoo-tospio
Gentoo TOSPIO overlay
Language:Shell2 2 00
TOSPIO/react-native-chatroom
Language:JavaScript2 2 00
TOSPIO/antiminesweeper
Language:Haskell1 2 00
TOSPIO/wiwinwlh
What I Wish I Knew When Learning Haskell 中文版
Language:Haskell1 3 00
TOSPIO/sickware
Where a text editor evolves.
Language:Haskell0 2 00
TOSPIO/tensorflow
Open source software library for numerical computation using data flow graphs.
Language:C++0 2 00
TOSPIO/caterpillar
Sequential data structure
2 0
TOSPIO/chest
Memorize your links to everything
Language:Haskell2 0
TOSPIO/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.
Language:OCaml2 0
TOSPIO/dockerfly
a small Docker tool to help you to create container with independent macvlan Eths easily.
Language:Python2 0
TOSPIO/finger-lord
Language:JavaScript2 0
TOSPIO/finger-lord-server
Language:Haskell2 0
TOSPIO/GF
GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
Language:Grammatical Framework2 0
TOSPIO/ghc-mod
Happy Haskell programming for editors
Language:Haskell2 0
TOSPIO/goblin
A unified protocol that defines the software installation/uninstallation process.
2 0
TOSPIO/haskell-emacs
Write Emacs extensions in Haskell
Language:Haskell2 0
TOSPIO/kotlin-coroutine
Language:Kotlin2 0
TOSPIO/minesweeper-powerpack
A minesweeper solver
Language:Haskell2 0
TOSPIO/netmosphere-core
The core for Netmosphere
Language:Haskell2 0
TOSPIO/ratina-lab
Language:Haskell2 0
TOSPIO/simo-error-prone
This repository is purged due to copyright issues
2 0
TOSPIO/simo-olpa
Simo Off-line Program Analyzer
2 0
TOSPIO/snappy
A fast compressor/decompressor
Language:C++2 0
TOSPIO/tamper
Devtools extension, lets you locally edit files served from the web (based on mitmproxy).
Language:JavaScript2 0
TOSPIO/tospio-scripts
Language:Rust2 0
TOSPIO/vtop
A simple tool that visualizes real-time CPU/memory usage.
Language:Haskell2 0