Pinned Repositories
apus
A miniature web browser.
athena
Spartronics 4915's code for the FRC 2020 game: Infinite Recharge
bspwm-rounded-corners
A tiling window manager based on binary space partitioning, with support for rounded corners. Very buggy - it's highly recommended to use an external compositor like picom instead.
chrysanthemum
A blossoming type system.
cio
A structural effects-and-handlers library for Racket
helix-ext
A fork of the Helix editor with various inactive and rejected patches applied. Rebased every new release on stable. Here be dragons.
mechanicals
Various implementations of the lambda calculus and friends
misc
cursed little programs
nim-wayland
Nim bindings for Wayland.
nim-wlroots
Nim bindings for wlroots.
omentic's Repositories
omentic/helix-ext
A fork of the Helix editor with various inactive and rejected patches applied. Rebased every new release on stable. Here be dragons.
omentic/cio
A structural effects-and-handlers library for Racket
omentic/thunar-stl-thumbnails
Generate thumbnails for STLs with Tumbler.
omentic/aoc
Yearly Advent of Code work.
omentic/config
Configuration files for various devices.
omentic/helix
A post-modern modal text editor.
omentic/mechanicals
Various implementations of the lambda calculus and friends
omentic/awesome-transit
Community list of transit APIs, apps, datasets, research, and software :bus::star2::train::star2::steam_locomotive:
omentic/caronte
A tool to analyze the network flow during attack/defence Capture the Flag competitions
omentic/cpdf
omentic/cpsc411-book
The WIP book for CPSC 411
omentic/difftastic
a structural diff that understands syntax 🟥🟩
omentic/effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
omentic/effekt
A language with lexical effect handlers and lightweight effect polymorphism
omentic/ilo
A collection of tools for working with Toki Pona.
omentic/intension
Intensional Semantics by Kai von Fintel and Irene Heim, with alternate notation
omentic/lean4
omentic/leanprover-community.github.io
omentic/MATH307
Applied Linear Algebra
omentic/mdn
The content behind MDN Web Docs
omentic/nixpkgs
i've fallen into the trap
omentic/omentic
hmm
omentic/racket
The Racket repository
omentic/sad
omentic/searxng
SearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
omentic/sticks
A simple static site generator
omentic/streetpass
omentic/sublime-lsp
Client implementation of the Language Server Protocol for Sublime Text
omentic/syntax-highlighting
KDE's syntax highlighting for Kate etc
omentic/types.pl
The glitch-soc/Mastodon fork running on types.pl