april-cools / april-cools.github.io

Related projects ⓘ

Alternatives and complementary repositories for april-cools.github.io

• nomeata / git-multisect
  find git commits that matter
  ☆51Updated last year
• WesleyAC / notebook
  https://notebook.wesleyac.com
  ☆32Updated 5 months ago
• VictorCMiraldo / hdiff
  Hash-based Diffing for AST's
  ☆75Updated 4 years ago
• tchoutri / confer
  The symbolic links manager for your configuration files
  ☆30Updated last week
• alexwlchan / highlight-twitter-alt-text
  Tools to highlight the (in)accessibility of my Twitter timeline
  ☆27Updated 2 years ago
• shapr / fermatslastmargin
  tool for creating and sharing annotations, using github for storage and social network
  ☆87Updated 2 years ago
• yawaramin / bookmarklets
  Personal collection of useful bookmarklets
  ☆12Updated last month
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• jvns / inside-git
  ☆8Updated 9 months ago
• ajeetdsouza / brainfuck
  An optimizing Brainfuck interpreter.
  ☆13Updated 5 years ago
• ionathanch / msc-thesis
  LaTeX source for Sized Dependent Types via Extensional Type Theory
  ☆12Updated 2 years ago
• nanofuzz / nanofuzz
  NaNofuzz is a fast and easy-to-use automatic test suite generator for TypeScript that runs inside VS Code
  ☆36Updated this week
• OriRoth / python-typing-machines
  Python type hints are Turing complete.
  ☆29Updated last year
• thesephist / x-oak-notebook
  Experimental tool for writing dynamic Markdown docs that embed interactive explorable visualizations
  ☆28Updated 2 years ago
• graydon / exhaustigen
  ☆10Updated 2 years ago
• eatkins / tree-sitter-ebnf-generator
  Convert an EBNF grammar to the tree-sitter dsl
  ☆24Updated 11 months ago
• willcrichton / inliner
  Programmable, human-readable inlining of Python code
  ☆29Updated last year
• oppiliappan / tbsp
  tree-based source-processing language
  ☆11Updated this week
• osnr / tabssh
  📡 ssh into browser tab.
  ☆75Updated 3 years ago
• purarue / exobrain
  something like a public wiki, - a place to store notes, ideas, blogposts, photography, or writing
  ☆17Updated this week
• alilleybrinker / good-cat
  A cat that can't be piped. 🐱
  ☆18Updated 2 years ago
• tlaplus-community / tree-sitter-tlaplus
  A tree-sitter grammar for TLA⁺ and PlusCal
  ☆57Updated 2 weeks ago
• asaaki / capture-the-ip
  Claim as many IPs as you can and become a block owner
  ☆24Updated 5 months ago
• videah / plato-opds
  A fetcher hook for the Plato document reader that syncs an e-reader with an OPDS catalogue.
  ☆13Updated 4 months ago
• muxup / pwr
  Paced web reader. An esoteric feed reader and workflow for keeping up to date online.
  ☆21Updated 4 months ago
• secure-foundations / vWasm
  A formally-verified provably-safe sandboxing Wasm-to-native compiler
  ☆19Updated 2 years ago
• Hazelfire / pedant
  A math language for dimensional analysis
  ☆22Updated last year
• hazelgrove / tylr
  a tiny tile-based editor
  ☆284Updated this week
• lorin / epidemic-register
  Beating the CAP theorem with the epidemic register
  ☆16Updated 4 years ago