-
cn Public
Forked from rems-project/cnCN separation logic refinement type system for C
-
-
dblp-norm Public
Replace bibtex file entries with ones from DBLP
-
cerberus Public
Forked from rems-project/cerberusCerberus C semantics
OCaml Other UpdatedMar 10, 2025 -
emacs-tree-sitter-highlight Public
Minor mode for syntax highlighting using tree-sitter
-
compiler-explorer Public
Forked from compiler-explorer/compiler-explorerRun compilers interactively from your web browser and interact with the assembly
TypeScript BSD 2-Clause "Simplified" License UpdatedFeb 5, 2025 -
-
ai-proofread-plugin Public
AI proofread plugin for Evolution mail client
C GNU General Public License v3.0 UpdatedJan 6, 2025 -
-
chatgpt-shell Public
Forked from xenodium/chatgpt-shellChatGPT and DALL-E Emacs shells + Org babel 🦄 + a shell maker for other providers
Emacs Lisp GNU General Public License v3.0 UpdatedOct 3, 2024 -
helix Public
Formally verified operator language and rewriting engine for high-performance computing
-
-
-
infra Public
Forked from compiler-explorer/infraInfrastructure to set up the public Compiler Explorer instances and compilers
Python BSD 2-Clause "Simplified" License UpdatedDec 18, 2023 -
-
opam-coq-archive Public
Forked from rocq-prover/opamArchive for all Coq related OPAM packages organized in various repositories
-
cheri-docker-images Public
Forked from CTSRD-CHERI/cheri-docker-imagesDockerfile UpdatedOct 9, 2023 -
-
coq-min-imports Public
Script to remove unnecessary module imports from Coq sourcess
-
cc_cl_cam_ac_uk Public
Forked from Timothy-G-Griffin/cc_cl_cam_ac_ukOCaml code for Compiler Construction course at University of Cambridge
-
rssbackup Public
Backup RSS feed data (for medium.com but could be used with other sites)
Python UpdatedNov 24, 2021 -
coq-config Public
Coq project configuration script
-
read-dwarf Public
Forked from rems-project/read-dwarfBinary analysis tool
OCaml Other UpdatedOct 18, 2021 -
linksem Public
Forked from rems-project/linksemSemantic model for aspects of ELF static linking and DWARF debug information
Standard ML Other UpdatedOct 14, 2021 -
-
bits Public
Forked from rocq-community/bitsA formalization of bitset operations in Coq and the corresponding axiomatization and extraction to OCaml native integers [maintainer=@anton-trunov]
Coq Apache License 2.0 UpdatedJul 11, 2021 -
-
takeoutupload Public
Upload Googe Takeout mail backup back to Gmail
-
HaskellNet Public
Forked from qnikst/HaskellNetHaskell library which provides client support for POP3, SMTP, and IMAP protocols.
Haskell Other UpdatedMar 11, 2021 -
{{ message }}