-
-
Perk Public
Forked from Alex23087/PerkModern low level programming language designed for kernel development
OCaml UpdatedDec 3, 2025 -
-
lis-project Public
VeriDum: computing SL+ and ISL+ postconditions via symbolic execution
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
Python Other UpdatedNov 23, 2024 -
dalz.github.io Public
Sito dei rappresentanti di informatica dell'Università di Pisa
HTML UpdatedSep 20, 2024 -
-
BangleApps Public
Forked from espruino/BangleAppsBangle.js App Loader (and Apps)
JavaScript MIT License UpdatedDec 28, 2023 -
Battery-Health-Charging Public
Forked from maniacx/Battery-Health-ChargingJavaScript UpdatedMay 31, 2023 -
lldap Public
Forked from lldap/lldapLight LDAP implementation
Rust GNU General Public License v3.0 UpdatedMay 21, 2023 -
-
org-fc Public
Forked from l3kn/org-fcSpaced Repetition System for Emacs org-mode
Emacs Lisp GNU General Public License v3.0 UpdatedAug 4, 2020 -
-
remacs Public
Forked from remacs/remacsRust ❤️ Emacs
Emacs Lisp GNU General Public License v3.0 UpdatedDec 24, 2018 -
cargo.el Public
Forked from kwrooijen/cargo.elEmacs Minor Mode for Cargo, Rust's Package Manager.
Emacs Lisp GNU General Public License v3.0 UpdatedNov 2, 2018
{{ message }}