Pinned Repositories
Idris-dev
A Dependently Typed Functional Programming Language
mercury
The Mercury logic programming system.
ElasticTabstops
Tab characters automatically adjust to keep adjacent lines aligned.
cabal-doctest
A Setup.hs shim for running doctests
efm8boot
Silicon Labs EFM8 Factory Bootloader client
multibootusb
A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files
versioned-configs
Naming dotfiles as "versioned-configs" before it was cool
wave-simulation
A C++11/CMake/Boost/Qt/OpenGL excersize.
ulidtko's Repositories
ulidtko/cabal-doctest
A Setup.hs shim for running doctests
ulidtko/multibootusb
A collection of GRUB files and scripts that will allow you to create a pendrive capable of booting different ISO files
ulidtko/versioned-configs
Naming dotfiles as "versioned-configs" before it was cool
ulidtko/haskell-stack-builder
Unprivileged/rootless Docker Image for building Haskell projects with Stack without Nix
ulidtko/agda-pythagoras
A proof of Pythagoras's theorem in Agda2 (from the original proof by Thierry Coquand)
ulidtko/aurpublish
PKGBUILD management framework for the Arch User Repository
ulidtko/mjseating-mercury
🀄 Mahjong seating (tournament grid) generator in Mercury
ulidtko/agda
Agda is a dependently typed programming language / interactive theorem prover.
ulidtko/atom-language-idris
A Idris Mode for Atom.io
ulidtko/aws-lambda-haskell-runtime
⚡Haskell runtime for AWS Lambda
ulidtko/bytestring
An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.
ulidtko/esqueleto
New home of Esqueleto, please file issues so we can get things caught up!
ulidtko/freecad.frametools
beams and frames
ulidtko/haskell-case-insensitive
Case insensitive string comparison
ulidtko/hlint
Haskell source code suggestions
ulidtko/jwt_tool
:snake: A toolkit for testing, tweaking and cracking JSON Web Tokens
ulidtko/LanguageClient-neovim
Language Server Protocol (LSP) support for vim and neovim.
ulidtko/lezer-parser-hamlet
Parser for Hamlet (Yesod's HTML DSL) in Codemirror's Lezer
ulidtko/libharu
libharu - free PDF library
ulidtko/loki
Like Prometheus, but for logs.
ulidtko/mercury-www
Mercury website
ulidtko/otp
Erlang/OTP
ulidtko/parsec
A monadic parser combinator library
ulidtko/relude
🌀 Safe, performant, user-friendly and lightweight Haskell standard library
ulidtko/security-advisories
ulidtko/shellcheck
ShellCheck, a static analysis tool for shell scripts
ulidtko/stackage
Stable Haskell package sets: vetted consistent packages from Hackage
ulidtko/true-name
Template Haskell hack to violate another module's abstractions
ulidtko/ulidtko
ulidtko/urwid
Console user interface library for Python (official repo)