-
redu Public
ncdu for your restic repository
-
nvim-config Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedJan 7, 2025 -
fastcdc-rs Public
Forked from nlfiedler/fastcdc-rsFastCDC implementation in Rust
Rust MIT License UpdatedOct 22, 2024 -
restic Public
Forked from restic/resticFast, secure, efficient backup program
Go BSD 2-Clause "Simplified" License UpdatedAug 19, 2024 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedJul 17, 2024 -
rustic Public
Forked from rustic-rs/rusticrustic - fast, encrypted, and deduplicated backups powered by Rust
Rust Apache License 2.0 UpdatedJul 10, 2024 -
rustic_core Public
Forked from rustic-rs/rustic_corerustic_core - library for fast, encrypted, deduplicated backups that powers rustic-rs
Rust Apache License 2.0 UpdatedJun 17, 2024 -
logic-translation Public
Translation from FOL to LTL+Past and LTL, via separation of LTL+Past
-
leptos Public
Forked from leptos-rs/leptosBuild fast web applications with Rust.
Rust MIT License UpdatedAug 30, 2023 -
rust-decimal Public
Forked from paupino/rust-decimalDecimal number implementation written in pure Rust suitable for financial and fixed-precision calculations.
Rust MIT License UpdatedJul 29, 2023 -
DamlFundamentalsCapstone Public
Capstone project for Daml 10000 Fundamentals Certification
Haskell MIT License UpdatedMay 16, 2023 -
maud Public
Forked from lambda-fairy/maud📝 Compile-time HTML templates for Rust
Rust Apache License 2.0 UpdatedMar 19, 2023 -
template-benchmarks-rs Public
Forked from rosetta-rs/template-benchmarks-rsCollected benchmarks for templating crates written in Rust
Rust UpdatedMar 17, 2023 -
da-marketplace Public
Forked from digital-asset-archive/da-marketplaceTypeScript BSD Zero Clause License UpdatedAug 30, 2022 -
keyd Public
Forked from rvaiya/keydA key remapping daemon for linux.
C MIT License UpdatedDec 26, 2021 -
strive Public
Forked from tfausak/strive🚴 A Haskell client for the Strava V3 API.
Haskell MIT License UpdatedOct 29, 2021 -
libserdes Public
Forked from confluentinc/libserdesAvro Serialization/Deserialization C/C++ library with Confluent schema-registry support
C Apache License 2.0 UpdatedJul 8, 2020 -
stumpwm Public
Forked from stumpwm/stumpwmThe Stump Window Manager
Common Lisp GNU General Public License v2.0 UpdatedMay 18, 2019 -
jansson Public
Forked from akheron/janssonC library for encoding, decoding and manipulating JSON data
C MIT License UpdatedJan 15, 2019 -
-
do-urlencode Public
Percent Encoding (aka URL Encoding) library
-
taffybar Public
Forked from taffybar/taffybarA slightly fancy status bar for xmonad
Haskell BSD 3-Clause "New" or "Revised" License UpdatedApr 1, 2018 -
-
swarm-bencode Public
A BEncode parsing and enconding library
-
-
xmobar Public
Forked from mathstuf/xmobarA minimalistic text-based status bar
Haskell Other UpdatedFeb 4, 2017 -
Hsmtlib Public
Forked from MfesGA/HsmtlibHaskell library for easy interaction with SMT-LIB 2 compliant solvers.
Haskell UpdatedDec 24, 2014 -
llvm Public
Forked from tritao/llvm-cliMirror of official llvm git repository located at http://llvm.org/git/llvm. Updated hourly.
C++ Other UpdatedDec 27, 2012 -
language-cil Public
Forked from tomlokhorst/language-cilManipulating Common Intermediate Language AST in Haskell
Haskell Other UpdatedFeb 12, 2011
{{ message }}