Pinned Repositories
cc-emu
Terminal CC Emulator
clustering
A small cluster module with a plugin system
ddb
A basic graph database
idris-depling
ilcc-solver
lua-nn
os-browserify
scala-tinfer
sepo
term-mouse
A simple mouse reporter
CoderPuppy's Repositories
CoderPuppy/term-mouse
A simple mouse reporter
CoderPuppy/sepo
CoderPuppy/hwtl
An overly extensible lisp that compiles to lua
CoderPuppy/.files
CoderPuppy/1lab
A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
CoderPuppy/asyncssh
AsyncSSH is a Python package which provides an asynchronous client and server implementation of the SSHv2 protocol on top of the Python asyncio framework.
CoderPuppy/belt-cpu
CoderPuppy/cadre
CoderPuppy/cc-mining
CoderPuppy/coderpuppy.github.io
CoderPuppy/conl
CoderPuppy/cpels
CoderPuppy/dcont
CoderPuppy/elaboration-zoo
Minimal implementations for dependent type checking and elaboration
CoderPuppy/fancfer
CoderPuppy/fparser
This project maintains and develops a Fortran parser called fparser2 written purely in Python which supports Fortran 2003 and some Fortran 2008. A legacy parser fparser1 is also available but is not supported. The parsers were originally part of the f2py project by Pearu Peterson.
CoderPuppy/GitPython
GitPython is a python library used to interact with Git repositories.
CoderPuppy/hp-prime-emu
CoderPuppy/Idris2
A purely functional programming language with first class types
CoderPuppy/js-devious-boxes
CoderPuppy/juggling
CoderPuppy/movie-voting.js
CoderPuppy/plcc
A Programming Languages Compiler Compiler
CoderPuppy/rewm-lua
CoderPuppy/spacefu
CoderPuppy/st
CoderPuppy/text-trie
An efficient finite map from Text to values, based on bytestring-trie.
CoderPuppy/the-shed
CoderPuppy/tt-exp
CoderPuppy/wnimmt-crawler