defanor/hydra-bot
A concurrency-friendly IRC bot
Developer Profile
defanor
Discovered public repositories for defanor in the GitHub catalog.
defanor/numtower
A numerical tower for Idris
defanor/idris-json-rpc
JSON-RPC 2.0 in Idris
defanor/IdrisNet2
A proper network library for Idris, now that I know what I'm doing.
defanor/idris-ffi-example
A minimal example of the Idris C FFI
defanor/black-box-reasoning
Reasoning about black boxes, using type providers
defanor/document-templates
A template system
defanor/pire
Aiming to become Pi-forall's refactorer
defanor/morphisms
Isomorphisms, sections, retractions. With printing and parsing in mind.
defanor/tiny-projects
Things that don't deserve their own repositories
defanor/eff-tutorial
Idris effects tutorial
defanor/SDL-idris
SDL bindings package for idris
defanor/pretty-mode
Redisplay parts of the Emacs buffer as pretty symbols.
defanor/idris-mode
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
defanor/Idris-dev
A Dependently Typed Functional Programming Language
defanor/idris-stuff
Public repository.
defanor/parcomb
parsing stuff
defanor/postforum
a simple postgres-powered forum
defanor/circe
Circe, a Client for IRC in Emacs
defanor/mlp-with-bp
Simple multilayer perceptron with backpropagation learning algorithm implementation in Scheme
defanor/cyrillic-colemak
cyrillic-colemak input method for emacs
defanor/cscm-zlib
zlib bindings for Chicken Scheme
defanor/threefish-1024.js
JS implementation of Threefish-1024
defanor/rainbow-delimiters
Emacs rainbow delimiters mode