-
-
-
logic-materials Public
a repository for materials related to my logic courses
-
-
-
-
logic-book Public
content of my in progress interactive logic textbook
-
cmp-pandoc.nvim Public
Forked from aspeddro/cmp-pandoc.nvimPandoc source for nvim-cmp
-
-
-
uplift-ble-helper Public
Forked from mdisibio/uplift-ble-helperDo several things with an Uplift desk with the BLE adapter
Go UpdatedJun 2, 2024 -
-
termpdf Public
barebones graphical pdf/djvu/cbr/image viewer that works inside iTerm2 2.9+ and Kitty
-
termpdf.py Public
A graphical pdf and epub reader that works inside the kitty terminal
-
garden-of-eden Public
Forked from iot-root/garden-of-edenTruly own that which is yours!
Python GNU General Public License v3.0 UpdatedOct 13, 2023 -
nixos-config Public
Forked from dustinlyons/nixos-configMy personal Nix configuration for MacOS and NixOS w/ starter templates + step-by-step guides ✨
Nix MIT License UpdatedSep 27, 2023 -
cmp-pandoc-references Public
Forked from jc-doyle/cmp-pandoc-referencesA source for nvim-cmp, providing completion for bibliography, reference and cross-ref items in Pandoc/Markdown.
Lua UpdatedJul 22, 2023 -
Carnap Public
Forked from Carnap/CarnapA formal logic framework that runs in the browser
-
-
argmap Public
tools for working with argument maps represented in YAML
-
vim-bookmarks Public
Forked from MattesGroeger/vim-bookmarksVim bookmark plugin
Vim Script MIT License UpdatedJun 30, 2022 -
hs.tiling Public archive
Forked from nathankot/mjolnir.tilingAdd tiling window management powers to your hammerspoon
-
forallx-pandocs Public
Forked from ubc-carnap-team/forallx-pandocsPandoc files for the forall x-UBC textbook
UpdatedFeb 22, 2022 -
carnap-api-cli-tool Public
a script for interacting with a carnap server using carnap's API
-
argument-map Public
Forked from eyssette/argument-mapApplication en ligne pour créer des schémas d'arguments. Version française du logiciel Reasons, avec la possibilité d'inclure des objections.
JavaScript MIT License UpdatedNov 21, 2021 -
chowdown Public
Forked from clarklab/chowdownSimple recipes in Markdown format
HTML The Unlicense UpdatedAug 16, 2021 -
carnap-javascript Public
Javascript snippets and widgets for use with Carnap.io
-
sulami.github.io Public
Forked from sulami/blog✍️ My blog, built with Hakyll, Tufte CSS, LaTeX, and some custom glue.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 6, 2021 -
forallx-yyc Public
Forked from rzach/forallx-yycUCalgary version of forallx, an introduction to formal logic
TeX Creative Commons Attribution 4.0 International UpdatedApr 21, 2021 -
Olauncher Public
Forked from tanujnotes/OlauncherMinimal AF (ad-free) launcher app for Android. Available at Play Store and F-Droid.
Kotlin GNU General Public License v3.0 UpdatedMar 12, 2021
{{ message }}