JJ's repositories
dictionarium
A speedy, offline, command-line dictionary.
chrysanthemum
A blossoming type system.
antiformatter
attempting to make the worst possible passable racket code
awesome-nim
A curated list of awesome Nim frameworks, libraries, software and resources.
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.
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.
nim
Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).
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