-
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedMar 4, 2025 -
karamel Public
Forked from FStarLang/karamelKaRaMeL is a tool for extracting low-level F* programs to readable C code
OCaml Apache License 2.0 UpdatedAug 1, 2024 -
-
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedJul 10, 2024 -
mimalloc-bench Public
Forked from daanx/mimalloc-benchSuite for benchmarking malloc implementations.
C MIT License UpdatedJun 24, 2024 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
Shell Creative Commons Zero v1.0 Universal UpdatedOct 11, 2023 -
rpmalloc Public
Forked from mjansson/rpmallocPublic domain cross platform lock free thread caching 16-byte aligned memory allocator implemented in C
C Other UpdatedSep 24, 2023 -
steel Public
Forked from FStarLang/steelThe Steel separation logic library for F*
OCaml Apache License 2.0 UpdatedMay 26, 2023 -
hacl-nix Public
Forked from hacl-star/hacl-nixNix expressions to build HACL*
Nix UpdatedNov 22, 2022 -
fstar-mode.el Public
Forked from FStarLang/fstar-mode.elEmacs support for F*
Emacs Lisp Apache License 2.0 UpdatedJan 6, 2022 -
Waybar Public
Forked from Alexays/WaybarHighly customizable Wayland bar for Sway and Wlroots based compositors. ✌️ 🎉
C++ MIT License UpdatedMar 12, 2021 -
riscv-tools-w-gnu-toolchain Public
Forked from riscv-software-src/riscv-toolsRISC-V Tools (ISA Simulator and Tests) with up-to-date GNU toolchain
Shell UpdatedApr 10, 2020 -
-
IMDb Public
Forked from PrincetonUniversity/IMDb-ArchiveILA Model Database
671DC++ MIT License UpdatedJun 24, 2019 -
mixxx Public
Forked from mixxxdj/mixxxMixxx is Free DJ software that gives you everything you need to perform live mixes.
C++ Other UpdatedMay 1, 2019 -
ILAng-Doc Public
Forked from PrincetonUniversity/ILAng-DocILAng documentation
MIT License UpdatedMar 19, 2019 -
ILAng Public
Forked from PrincetonUniversity/ILAngA Modeling and Verification Platform for SoCs using ILAs
C++ MIT License UpdatedMar 17, 2019 -
{{ message }}