Report or block defanor
Contact Support about this user's behavior.Report abuse
Not a CSS framework
A SOCKS5 proxy that selectively passes client requests to other proxies
Command-line options parsing and printing
Emacs command search and execution
Desktop notifications and modeline display for mu4e
Node.js binding for Xapian full-text indexing library
Invertible and incremental parsing
An ACME Shell script: acme.sh
Circe, a Client for IRC in Emacs
Composable communication-related programs
Haskell bindings to libsystemd-journal
MediaWiki XML dumps → info files converter
An IRC bot connected to an Idris REPL
A concurrency-friendly IRC bot
A numerical tower for Idris
A Dependently Typed Functional Programming Language
JSON-RPC 2.0 in Idris
A proper network library for Idris, now that I know what I'm doing.
A minimal example of the Idris C FFI
Reasoning about black boxes, using type providers
A template system
Idris syntax highlighting, compiler-supported editing, interactive REPL and more things for emacs.
Isomorphisms, sections, retractions. With printing and parsing in mind.
Aiming to become Pi-forall's refactorer
Things that don't deserve their own repositories
Redisplay parts of the Emacs buffer as pretty symbols.