-
-
dude-wheres-my-stuff Public
Forked from Thource/dude-wheres-my-stuffJava BSD 2-Clause "Simplified" License UpdatedJun 1, 2025 -
-
botris-battle-bluefin Public
WIP bot for Botris Battle https://botrisbattle.com/
Rust UpdatedAug 13, 2024 -
-
rustbus Public
Forked from KillingSpark/rustbusDbus transport in pure rust
Rust MIT License UpdatedMay 3, 2024 -
themes Public
Forked from doomemacs/themesA megapack of themes for GNU Emacs.
-
lsp-mode Public
Forked from emacs-lsp/lsp-modeEmacs client/library for the Language Server Protocol
Emacs Lisp GNU General Public License v3.0 UpdatedJun 14, 2023 -
bdf Public
Forked from embedded-graphics/bdfBDF font tools
Rust Apache License 2.0 UpdatedApr 23, 2023 -
toml-test Public
Forked from toml-lang/toml-testA language agnostic test suite for TOML parsers.
Go MIT License UpdatedFeb 4, 2023 -
-
tokio Public
Forked from tokio-rs/tokioA runtime for writing reliable asynchronous applications with Rust. Provides I/O, networking, scheduling, timers, ...
Rust MIT License UpdatedDec 14, 2021 -
tbp-spec Public
Forked from tetris-bot-protocol/tbp-specSpecification for the Tetris Bot Protocol
UpdatedJul 1, 2021 -
rustic Public
Forked from brotzeit/rusticRust development environment for Emacs
HTML Apache License 2.0 UpdatedJun 30, 2021 -
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
C++ Other UpdatedJan 15, 2021 -
-
labs Public
Forked from docker-archive-public/docker.labsThis is a collection of tutorials for learning how to use Docker with various tools. Contributions welcome.
PHP Apache License 2.0 UpdatedSep 5, 2020 -
-
-
-
hail Public
Forked from hail-is/hailScalable genomic data analysis.
Python MIT License UpdatedJan 6, 2020 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 13, 2019 -
type-inference-agda Public
agda formalization of "A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference" (ICFP 2019)
-
-lang-musiclibrary Public
Declare (using s-expressions) and automatically populate a music library
-
AgdaSnake Public
Compiler implementation in Agda, inspired by Benjamin Lerner's slithery compilers course
-
cur Public
Forked from stchang/curPowerful meta-programming for powerful types.
Racket BSD 2-Clause "Simplified" License UpdatedApr 12, 2019 -
lablgtk Public
Forked from garrigue/lablgtkMirror repository for https://forge.ocamlcore.org/anonscm/git/lablgtk/lablgtk.git
OCaml Other UpdatedApr 9, 2019 -
iotapass Public
Reimplementation of Racket nanopass, with emphasis on cleaner code, better errors, modern Racket codebase
-
{{ message }}