-
-
-
qmk_firmware Public
Forked from qmk/qmk_firmwareOpen-source keyboard firmware for Atmel AVR and Arm USB families
C GNU General Public License v2.0 UpdatedApr 7, 2024 -
nix Public
Forked from nix-rust/nixRust friendly bindings to *nix APIs
Rust MIT License UpdatedNov 23, 2023 -
libc Public
Forked from rust-lang/libcRaw bindings to platform APIs for Rust
Rust Apache License 2.0 UpdatedNov 21, 2023 -
smbios-lib Public
Forked from jrgerber/smbios-libSMBIOS Library
Rust MIT License UpdatedNov 17, 2023 -
-
mdbook-checklist Public
Forked from ANSSI-FR/mdbook-checklistmdbook preprocessor for generating checklists and indexes
Rust Other UpdatedNov 28, 2022 -
vk-bootstrap Public
Forked from charles-lunarg/vk-bootstrapVulkan bootstraping library
C++ MIT License UpdatedMar 2, 2021 -
-
mind-your-languages Public
Forked from chifflier/mind-your-languagesLanguages and security
The Unlicense UpdatedJun 23, 2017 -
-
-
-
4clojure-solving-bot Public
A bot that solves 4clojure problems
-
pirana Public
PI-calculus Resources ANAlyzer
Haskell GNU General Public License v3.0 UpdatedJun 15, 2015 -
piccolo-mode Public
Forked from remyzorg/piccolo-modePoor man's emacs syntax mode for Piccolo
Emacs Lisp UpdatedFeb 4, 2015 -
-
microcontest-lib2 Public
An haskell implementation of the communication protocol to take challenges on http://www.microcontest.com/
Haskell GNU General Public License v3.0 UpdatedDec 8, 2014 -
robozzle-hs Public
A small Haskell implementation of the famous RoboZZle puzzle game