JJ's repositories
dictionarium
A speedy, offline, command-line dictionary.
chrysanthemum
A blossoming type system.
awesome-nim
A curated list of awesome Nim frameworks, libraries, software and resources.
awesome-transit
Community list of transit APIs, apps, datasets, research, and software :bus::star2::train::star2::steam_locomotive:
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
fib
the fibonacci only you would give me
james-joyce_ulysses
James Joyce's Ulysses (1923), typeset.
lazymc
💤 Put your Minecraft server to rest when idle.
MATH307
Applied Linear Algebra
matrix-spec-proposals
Proposals for changes to the matrix specification
milewski-ctfp-nim
Bartosz Milewski's 'Category Theory for Programmers', with C++ examples rewritten in Nim.
nixpkgs
i've fallen into the trap
npeg
PEGs for Nim, another take
plt
Programming Language Theory λΠ
searxng
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
skinsuit
utility macros mostly for object variants
structural-matching
Playing with pattern matching in Nim
sublime-lsp
Client implementation of the Language Server Protocol for Sublime Text
tree-sitter
An incremental parsing system for programming tools
tree-sitter-agda
Agda grammar for tree-sitter
tree-sitter-nim-alaviss
tree-sitter grammar for Nim
types.pl
The glitch-soc/Mastodon fork running on types.pl