-
yukigram-bin Public
Yukigram binary release AUR package
Shell BSD Zero Clause License UpdatedJun 14, 2026 -
nixos-nspawn Public
Forked from fpletz/nixos-nspawnDeclarative NixOS nspawn containers
Nix MIT License UpdatedJun 3, 2026 -
-
-
-
-
syzkaller Public
Forked from google/syzkallersyzkaller is an unsupervised coverage-guided kernel fuzzer
Go Apache License 2.0 UpdatedMay 11, 2026 -
-
TGPy Public
Forked from tm-a-t/TGPyRuns Python code snippets inside your Telegram messages
Python MIT License UpdatedApr 11, 2026 -
Idris2 Public
Forked from idris-lang/Idris2A purely functional programming language with first class types
Idris Other UpdatedMar 25, 2026 -
-
-
colmena Public
Forked from nix-community/colmenaA simple, stateless NixOS deployment tool
Rust MIT License UpdatedFeb 13, 2026 -
-
papercraft Public
Forked from tm-a-t/papercraftTools and resources for Telegram devs
TypeScript UpdatedDec 13, 2025 -
-
idris2-mode Public
Forked from idris-community/idris2-modeIdris2 syntax highlighting, compiler-supported editing, interactive REPL and more things for Emacs.
Emacs Lisp GNU General Public License v3.0 UpdatedOct 9, 2025 -
-
-
-
-
1lab Public
Forked from the1lab/1labA formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
Agda GNU Affero General Public License v3.0 UpdatedJun 5, 2025 -
-
-
-
-
idris2-barbies Public
Forked from stefan-hoeck/idris2-barbiesTypes that can change their clothes
Idris BSD 3-Clause "New" or "Revised" License UpdatedFeb 15, 2025 -
-
teambook Public
Forked from popular-bloggers/teambookТимбук команды "Meanwhile, Elk, MrF & YaV"
TeX UpdatedNov 14, 2024 -
This is a collection of ROT13 encoding programms written in different languages. Just for fun.
Assembly GNU General Public License v2.0 UpdatedAug 4, 2024
{{ message }}