-
pysearch Public
Brute-force search for short Python expressions (for code golf)
-
lidysisku Public
Fast lojban dictionary https://foldr.moe/lidysisku/
-
code-golf Public
Forked from code-golf/code-golfA game designed to let you show off your code-fu by solving problems in the least number of characters.
Go MIT License UpdatedNov 10, 2025 -
wasm-bindgen Public
Forked from wasm-bindgen/wasm-bindgenFacilitating high-level interactions between Wasm modules and JavaScript
Rust Apache License 2.0 UpdatedNov 1, 2025 -
-
smods Public
Forked from Steamodded/smodsA Balatro Modding Framework
Lua GNU General Public License v3.0 UpdatedOct 27, 2025 -
-
typst-syntree Public
Syntax trees for typst
-
phrasing-trainer Public
Tool for practicing stenography phrasing
-
-
-
gitfourchette Public
Forked from jorio/gitfourchetteThe comfortable Git UI for Linux
Python GNU General Public License v3.0 UpdatedSep 22, 2025 -
compfiles Public
Forked from dwrensha/compfilesCatalog Of Math Problems Formalized In Lean
Lean Apache License 2.0 UpdatedSep 20, 2025 -
doc-gen4 Public
Forked from leanprover/doc-gen4Document Generator for Lean 4
-
-
latkerlo-jvotci Public
Forked from latkerlo/latkerlo-jvotciPython and JavaScript lujvo tools
JavaScript Other UpdatedAug 13, 2025 -
autokalimba Public
a little autoharp for your phone and thumbs!
-
liputenpo.org Public
Forked from lipu-tenpo/liputenpo.orghttps://liputenpo.org using https://www.11ty.dev/
HTML UpdatedAug 6, 2025 -
code-notgolf Public
Reference implementations of hard code.golf holes
-
TIC-80 Public
Forked from nesbox/TIC-80TIC-80 is a fantasy computer for making, playing and sharing tiny games.
C MIT License UpdatedJul 5, 2025 -
-
analysis Public
Forked from teorth/analysisA Lean companion to Analysis I
Lean Apache License 2.0 UpdatedJun 17, 2025 -
-
-
typing-room Public
A chat room where you can see messages as they get typed
-
-
github-pages-deploy-action Public
Forked from JamesIves/github-pages-deploy-action🚀 Automatically deploy your project to GitHub Pages using GitHub Actions. This action can be configured to push your production-ready code into any branch you'd like.
TypeScript MIT License UpdatedFeb 24, 2025 -
typst-packages Public
Forked from typst/packagesPackages for Typst.
Rust Apache License 2.0 UpdatedFeb 18, 2025 -
Python script for parsing and converting AppleKeyboardLayouts-L.dat
-
typst-hane Public
A typst package for drawing go/baduk/weiqi diagrams
{{ message }}