-
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedSep 13, 2025 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedSep 2, 2025 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedJul 10, 2025 -
ngspice Public
Forked from ngspice/ngspiceMy fork of ngspice, with support added for reading and writing wav files
C Other UpdatedJun 16, 2025 -
ocaml-re Public
Forked from ocaml/ocaml-rePure OCaml regular expressions, with support for Perl and POSIX-style strings
OCaml Other UpdatedMay 27, 2025 -
svalboard-opt Public
finding the optimal Svalboard layout with mixed integer programming and a little sprinkle of magic
Python UpdatedMay 18, 2025 -
flambda-backend Public
Forked from oxcaml/oxcamlThe Flambda backend project for OCaml
OCaml Other UpdatedApr 12, 2025 -
-
py3status Public
Forked from ultrabug/py3statuspy3status is an extensible i3status wrapper written in python
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 31, 2024 -
-
-
-
nom Public
Forked from rust-bakery/nomRust parser combinator framework
Rust MIT License UpdatedAug 10, 2023 -
org-clubhouse Public
Simple, unopinionated integration between Emacs's org-mode and the Clubhouse issue tracker
-
-
starscape-web Public
Forked from OpenStarscape/starscape-webWeb client for OpenStarscape
TypeScript MIT License UpdatedOct 27, 2022 -
nix-update-el Public
Forked from jwiegley/nix-update-elAn Emacs command for updating fetch declarations in place
Emacs Lisp UpdatedAug 9, 2022 -
rust-wkb Public
Forked from amandasaurus/rust-wkbRead & Write Well Known Binary in Rust
Rust GNU Affero General Public License v3.0 UpdatedAug 1, 2022 -
min-max-heap-rs Public
Forked from tov/min-max-heap-rsA double-ended priority queue
Rust Apache License 2.0 UpdatedFeb 24, 2022 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJan 5, 2022 -
bundix Public
Forked from nix-community/bundixGenerates a Nix expression for your Bundler-managed application. [maintainer=@manveru]
Ruby UpdatedDec 18, 2021 -
-
rust-mysql-simple Public
Forked from blackbeam/rust-mysql-simpleMysql client library implemented in rust.
Rust Apache License 2.0 UpdatedOct 14, 2021 -
git-diff-conditional-buildkite-plugin Public
Forked from Zegocover/git-diff-conditional-buildkite-pluginBuildkite plugin to dynamically skip steps based on git diff and labels
Python MIT License UpdatedAug 6, 2021 -
-
-
achilles Public
A statically and dependently typed, low level, semi-pure functional programming language implemented in Rust
-
metrics Public
Forked from metrics-rs/metricsA metrics ecosystem for Rust.
Rust MIT License UpdatedMar 8, 2021 -
{{ message }}