-
sod Public
Forked from ms-jpq/sadfilter and transform text within files interactively
Rust MIT License UpdatedMay 14, 2025 -
cio Public
A structural effect handlers library for Racket
-
helix-ext Public
A fork of the Helix editor with various inactive and rejected patches applied. Rebased every new release on stable. Here be dragons.
-
cpsc411-book Public
Forked from cpsc411/cpsc411-bookThe WIP book for CPSC 411
Racket Other UpdatedFeb 12, 2025 -
-
aoc Public
Yearly Advent of Code work.
-
effekt Public
Forked from effekt-lang/effektA language with lexical effect handlers and lightweight effect polymorphism
Scala MIT License UpdatedDec 20, 2024 -
difftastic Public
Forked from Wilfred/difftastica structural diff that understands syntax 🟥🟩
Rust MIT License UpdatedDec 6, 2024 -
-
-
searxng Public
Forked from searxng/searxngSearXNG is a free internet metasearch engine which aggregates results from various search services and databases. Users are neither tracked nor profiled.
Python GNU Affero General Public License v3.0 UpdatedOct 26, 2024 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
-
mechanicals Public
Various implementations of the lambda calculus and friends
Racket BSD Zero Clause License UpdatedOct 24, 2024 -
mdn Public
Forked from mdn/contentThe content behind MDN Web Docs
Markdown Other UpdatedSep 17, 2024 -
leanprover-community.github.io Public
Forked from leanprover-community/leanprover-community.github.ioCSS MIT License UpdatedSep 10, 2024 -
syntax-highlighting Public
Forked from KDE/syntax-highlightingKDE's syntax highlighting for Kate etc
HTML UpdatedAug 27, 2024 -
-
intension Public
Forked from fintelkai/fintel-heim-intensional-notesIntensional Semantics by Kai von Fintel and Irene Heim, with alternate notation
TeX UpdatedAug 11, 2024 -
config Public
Configuration files for various devices.
-
thunar-stl-thumbnails Public
Generate thumbnails for STLs with Tumbler.
-
-
caronte Public
Forked from eciavatta/caronteA tool to analyze the network flow during attack/defence Capture the Flag competitions
JavaScript GNU General Public License v3.0 UpdatedJul 19, 2024 -
types.pl Public
Forked from ralsei/types.plThe glitch-soc/Mastodon fork running on types.pl
Ruby GNU Affero General Public License v3.0 UpdatedJun 24, 2024 -
effects-bibliography Public
Forked from yallop/effects-bibliographyA collaborative bibliography of work related to the theory and practice of computational effects
UpdatedJun 11, 2024 -
-
-
awesome-transit Public
Forked from MobilityData/awesome-transitCommunity list of transit APIs, apps, datasets, research, and software 🚌🌟🚋🌟🚂
Creative Commons Zero v1.0 Universal UpdatedMay 30, 2024 -
sublime-lsp Public
Forked from sublimelsp/LSPClient implementation of the Language Server Protocol for Sublime Text
Python MIT License UpdatedMay 29, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsi've fallen into the trap
Nix MIT License UpdatedMay 18, 2024 -
MATH307 Public
Forked from UBCMath/MATH307Applied Linear Algebra
Jupyter Notebook UpdatedApr 15, 2024
{{ message }}