Skip to content

@TOSPIO TOSPIO

Change the repository type filter

All

    Repositories list

    39 repositories

    • kotlin-coroutine

      Public
      Kotlin
      •0•0•0•0•Updated Sep 11, 2019Sep 11, 2019

    • finger-lord

      Public
      JavaScript
      •0•0•0•0•Updated Jun 14, 2018Jun 14, 2018

    • tospio-scripts

      Public
      Rust
      •0•0•0•0•Updated Jan 24, 2018Jan 24, 2018

    • finger-lord-server

      Public
      Haskell
      •0•0•0•0•Updated Nov 22, 2016Nov 22, 2016

    • goblin

      Public
      A unified protocol that defines the software installation/uninstallation process.
      BSD 3-Clause "New" or "Revised" License
      •0•0•0•0•Updated Oct 31, 2016Oct 31, 2016

    • simo-error-prone

      Public
      This repository is purged due to copyright issues
      0•0•0•0•Updated Jul 3, 2016Jul 3, 2016

    • simo-olpa

      Public
      Simo Off-line Program Analyzer
      0•0•0•0•Updated Jun 25, 2016Jun 25, 2016

    • antiminesweeper

      Public
      Haskell
      •0•1•0•0•Updated Jun 22, 2016Jun 22, 2016

    • ratina-lab

      Public
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Jun 18, 2016Jun 18, 2016

    • gentoo-tospio

      Public
      Gentoo TOSPIO overlay
      Shell
      •0•2•0•0•Updated Jun 12, 2016Jun 12, 2016

    • promofree

      Public
      一起抵制商业推广！
      JavaScript
      •
      GNU General Public License v3.0
      •0•3•0•0•Updated May 30, 2016May 30, 2016

    • tamper

      Public
      Devtools extension, lets you locally edit files served from the web (based on mitmproxy).
      JavaScript
      •
      MIT License
      •36•0•0•0•Updated May 2, 2016May 2, 2016

    • react-native-chatroom

      Public
      JavaScript
      •
      MIT License
      •0•2•0•0•Updated Mar 30, 2016Mar 30, 2016

    • syncron

      Public
      A simple tool that synchronizes two folders.
      Haskell
      •
      BSD 3-Clause "New" or "Revised" License
      •2•4•1•0•Updated Mar 8, 2016Mar 8, 2016

    • vtop

      Public
      A simple tool that visualizes real-time CPU/memory usage.
      Haskell
      •
      GNU Lesser General Public License v3.0
      •0•0•0•0•Updated Mar 8, 2016Mar 8, 2016

    • caterpillar

      Public
      Sequential data structure
      MIT License
      •0•0•0•0•Updated Jan 18, 2016Jan 18, 2016

    • pyn

      Public
      Python 2.7 with annotations
      Haskell
      •
      MIT License
      •1•3•4•0•Updated Jan 14, 2016Jan 14, 2016

    • chest

      Public
      Memorize your links to everything
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Jan 7, 2016Jan 7, 2016

    • wiwinwlh

      Public
      What I Wish I Knew When Learning Haskell 中文版
      Haskell
      •
      Other
      •241•1•0•0•Updated Jan 6, 2016Jan 6, 2016

    • dockerfly

      Public
      a small Docker tool to help you to create container with independent macvlan Eths easily.
      Python
      •5•0•0•0•Updated Jan 6, 2016Jan 6, 2016

    • haskell-emacs

      Public
      Write Emacs extensions in Haskell
      Haskell
      •22•0•0•0•Updated Jan 4, 2016Jan 4, 2016

    • netmosphere-core

      Public
      The core for Netmosphere
      Haskell
      •
      MIT License
      •0•0•0•0•Updated Dec 29, 2015Dec 29, 2015

    • jason

      Public
      A toy JSON data processor
      Haskell
      •
      GNU General Public License v3.0
      •1•3•0•0•Updated Dec 17, 2015Dec 17, 2015

    • GF

      Public
      GF, Grammatical Framework, is a programming language for multilingual grammar applications. This is a mirror of the darcs repository.
      Grammatical Framework
      •
      Other
      •51•0•0•0•Updated Dec 7, 2015Dec 7, 2015

    • snappy

      Public
      A fast compressor/decompressor
      C++
      •
      Other
      •984•0•0•0•Updated Dec 7, 2015Dec 7, 2015

    • tensorflow

      Public
      Open source software library for numerical computation using data flow graphs.
      C++
      •
      Apache License 2.0
      •74k•0•0•0•Updated Nov 10, 2015Nov 10, 2015

    • minesweeper-powerpack

      Public
      A minesweeper solver
      Haskell
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 4, 2015Nov 4, 2015

    • ghc-mod

      Public
      Happy Haskell programming for editors
      Haskell
      •
      Other
      •175•0•0•0•Updated Sep 24, 2015Sep 24, 2015

    • sickware

      Public
      Where a text editor evolves.
      Haskell
      •
      GNU General Public License v2.0
      •0•0•0•0•Updated Sep 11, 2015Sep 11, 2015

    • coq

      Public
      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.
      OCaml
      •
      GNU Lesser General Public License v2.1
      •659•0•0•0•Updated Sep 3, 2015Sep 3, 2015