-
-
-
vscode-markdown-live-editor Public
Forked from ishiij-dev/vscode-markdown-live-editorTypeScript MIT License UpdatedApr 8, 2026 -
vim-glance Public
Preview document wrtting in YOUR markdown and asciidoc, POD.
-
ddc-fuzzy Public
Fuzzy matcher, sorter, and conveter for ddc.vim
-
-
acl2-kernel Public
Jupyter Kernel for ACL2
-
nskk.el Public
Forked from takeokunn/nskk.elA next-generation SKK (Simple Kana to Kanji) Japanese input method for Emacs 29.1+
Emacs Lisp GNU General Public License v3.0 UpdatedMar 15, 2026 -
📄 Fast and small markdown parser and renderer
C Other UpdatedMar 11, 2026 -
literate-lean Public
literate programming for lean4
-
eprolog Public
Prolog Engine in Emacs Lisp
-
lem Public
Forked from lem-project/lemGeneral-purpose editor/IDE with high expansibility in Common Lisp
Common Lisp MIT License UpdatedMar 3, 2026 -
hookey Public
A lightweight framework to trigger actions using regex pattern matching around the cursor point.
-
cslib Public
Forked from leanprover/cslibThe Lean Computer Science Library (CSLib)
Lean Apache License 2.0 UpdatedFeb 26, 2026 -
rat Public
It’s not a cat, not a bat, but rat: your terminal’s new best friend.
-
conda-forge-recipes Public
Forked from conda-forge/staged-recipesA place to submit conda recipes before they become fully fledged conda-forge feedstocks
Python BSD 3-Clause "New" or "Revised" License UpdatedFeb 20, 2026 -
noscord Public
Forked from ShinoharaTa/noscordNostr public chat client
Svelte Other UpdatedFeb 15, 2026 -
libtexprintf Public
Forked from bartp5/libtexprintfLibrary providing printf-style formatted output routines with tex-like syntax support.
C GNU General Public License v3.0 UpdatedFeb 12, 2026 -
mathlib4 Public
Forked from leanprover-community/mathlib4The math library of Lean 4
Lean Apache License 2.0 UpdatedFeb 10, 2026 -
-
octomark Public
OctoMark is an ultra-high performance, streaming Markdown parser
-
summer-of-haskell Public
Forked from haskell-org/summer-of-haskellSource code of summer.haskell.org
HTML Other UpdatedFeb 2, 2026 -
n0str Public
n0str is a simple, reliable, and extensively tested Nostr relay implementation built on modern web technologies. Designed for simplicity and correctness, it leverages the power of Bun.
-
awesome-nostr Public
Forked from aljazceru/awesome-nostrnostr.net - awesome-nostr is a collection of projects and resources built on nostr to help developers and users find new things
JavaScript UpdatedJan 27, 2026 -
openslots Public
OpenSlots: A Trustless, Privacy-Preserving Scheduling Protocol over Nostr
-
-
emscripten-forge-recipes Public
Forked from emscripten-forge/recipesRecipes to build the packages for the emscripten-forge distribution
Shell BSD 3-Clause "New" or "Revised" License UpdatedJan 21, 2026 -
-
xeus-haskell-jupyter Public
Forked from jupyter-xeus/xeus-haskelljupyter / jupyterlite kernel for Haskell powered by WebAssembly
C++ Other UpdatedJan 19, 2026 -
{{ message }}