Pinned Repositories
ActifsourceExamples
examples and tutorials for the actifsource language workbench
bitcoin-script-tools
An inofficial implementation of the Bitcoin script engine
haskell-examples
Exercises and examples from different Haskell tutorials, books, blogs, etc...
hgdbmi
Haskell implementation of a GDB Machine Interface client
mailfilter
python based procmail replacement
ocram
A Comprehensive Compiler-Assisted Thread Abstraction for Resource-Constrained Systems
react
command line tool for inotify
reversi
Reversi Game Server and Distributed System with Scala and REST
tc-case_study
a case study for the tc compiler
tc-old
tc
copton's Repositories
copton/react
command line tool for inotify
copton/haskell-examples
Exercises and examples from different Haskell tutorials, books, blogs, etc...
copton/bitcoin-script-tools
An inofficial implementation of the Bitcoin script engine
copton/reversi
Reversi Game Server and Distributed System with Scala and REST
copton/ocram
A Comprehensive Compiler-Assisted Thread Abstraction for Resource-Constrained Systems
copton/hgdbmi
Haskell implementation of a GDB Machine Interface client
copton/tc-case_study
a case study for the tc compiler
copton/c-base
C99 base language for MPS
copton/mps2graph
Graphical visualization of MPS languages
copton/ProvenLift
Exercises for the lecture "Event-B"
copton/avt
adaptive vocabulary trainer
copton/pretty
Pretty printing with position logging
copton/cabal
Official upstream development repository for Cabal and cabal-install
copton/CAN-fragmentation
A fragmentation protocol for CAN
copton/COMPASS
The COMPASS Location System
copton/doctest
An implementation of Python's doctest for Haskell
copton/eeg-mindflex
copton/git-review
stack-based git workflow on top of GitHub
copton/hanna-game
A game for Hanna
copton/hitomezashi
Generate a Hitomezashi stich pattern as SVG file
copton/holdem
statistics of Texas Hold'em Poker
copton/lethe
Simulation of Channel Codes
copton/lj-game
A game for LJ
copton/personal_accounting_2
copton/sun-burst
Drawing sun burst diagrams
copton/tasknote
Associate a single text file with any task, updated for Taskwarrior 2. Original by Alan Bowen.
copton/tasty-doctest
DocTest integration for Haskell's Tasty test framework
copton/thesis
Richard A. Eisenberg's PhD Dissertation
copton/type-driven-dev-idris
Exercises for the book https://www.manning.com/books/type-driven-development-with-idris
copton/wwwsh
Personal Firewall Leak Tool