-
lamber Public
Forked from aartaka/lamberA functional scripting language compiling to pure Lambda Calculus
Common Lisp BSD 2-Clause "Simplified" License UpdatedApr 24, 2025 -
copygc Public
Forked from JennysJam/copygcCopying Collector port of baby's first garbage collecotr
-
pokeapi Public
Forked from PokeAPI/pokeapiThe Pokémon API
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 10, 2025 -
helix Public
Forked from helix-editor/helixA post-modern modal text editor.
Rust Mozilla Public License 2.0 UpdatedApr 6, 2025 -
aioquic Public
Forked from aiortc/aioquicQUIC and HTTP/3 implementation in Python
Python BSD 3-Clause "New" or "Revised" License UpdatedApr 4, 2025 -
mint Public
Forked from mint-lang/mint🍃 A refreshing programming language for the front-end web.
Crystal BSD 3-Clause "New" or "Revised" License UpdatedApr 2, 2025 -
mint-website Public
Forked from mint-lang/mint-websiteThe website of the Mint programming language
Mint MIT License UpdatedApr 2, 2025 -
rust-flashcards Public
Forked from ad-si/Rust-FlashcardsOver 550 flashcards to learn Rust from first principles. Written in markdown with script to convert them to an Anki deck or PDF file.
-
-
purescript-debug Public
Forked from garyb/purescript-debugConsole based debugging functions
PureScript MIT License UpdatedMar 22, 2025 -
idris2-brainfuck-array Public
Forked from Matthew-Mosior/idris2-brainfuck-arrayIdris UpdatedMar 5, 2025 -
wrappers Public
Forked from daym/wrappersSmall wrappers that don't fit anywhere else.
Shell BSD 2-Clause "Simplified" License UpdatedMar 2, 2025 -
-
trealla Public
Forked from trealla-prolog/treallaA compact, efficient Prolog interpreter written in plain-old C.
C MIT License UpdatedMar 1, 2025 -
yank-dwim Public
Forked from ryanprior/yank-dwimSelect a region and yank a URL to create a link
Emacs Lisp UpdatedFeb 28, 2025 -
-
start-emacs Public
Forked from mgmarlow/start-emacsA single-file starting point for your Emacs configuration
Emacs Lisp MIT License UpdatedFeb 25, 2025 -
lithium Public template
Forked from wsvincent/lithiumDjango starter project with 🔋
Python Other UpdatedFeb 22, 2025 -
Mousai Public
Forked from SeaDve/MousaiIdentify songs in seconds
Rust GNU General Public License v3.0 UpdatedFeb 21, 2025 -
-
selected-guix-works Public
Forked from gs-101/selected-guix-worksGuix channel featuring assorted packages.
Scheme GNU General Public License v3.0 UpdatedFeb 18, 2025 -
agda-python Public
Forked from wenkokke/agda-pythonA project that packages Agda as a Python package.
Python MIT License UpdatedFeb 18, 2025 -
tempel-snippets Public
Forked from gs-101/tempel-snippetsRudimentary Tempel translation of YASnippet, based on tempel-collection.
Emacs Lisp GNU General Public License v3.0 UpdatedFeb 16, 2025 -
cl-z3 Public
Forked from mister-walter/cl-z3Common Lisp bindings for the Z3 SMT solver's C API
Common Lisp MIT License UpdatedFeb 10, 2025 -
awesome-cv Public
Forked from posquit0/Awesome-CV📄 Awesome CV is LaTeX template for your outstanding job application
TeX LaTeX Project Public License v1.3c UpdatedFeb 6, 2025 -
Kooha Public
Forked from SeaDve/KoohaElegantly record your screen
Rust GNU General Public License v3.0 UpdatedFeb 5, 2025 -
Developer environments you can take with you
Rust GNU General Public License v2.0 UpdatedFeb 5, 2025 -
py-video-upload Public
Forked from damusix/py-video-uploadVideo Processing Web Application
Python UpdatedFeb 2, 2025 -
idris2-elab-util Public
Forked from stefan-hoeck/idris2-elab-utilUtilities and documentation for exploring idirs2's new elaborator reflection.
Idris BSD 2-Clause "Simplified" License UpdatedJan 30, 2025 -
CoverM Public
Forked from wwood/CoverMRead alignment statistics for metagenomics
Rust GNU General Public License v3.0 UpdatedJan 28, 2025
{{ message }}