GitHub - VictorTaelin/Formality
When most people hear about formal proofs, they naturally think about mathematics and security, or, "boring stuff". While it is true that formal proofs can be used to formalize theorems and verify software correctness, Formality's approach is different: we focus on using proofs as a tool to enhance developer productivity. There is little doubt left that adding types to untyped languages greatly in
GitHub - dgiagio/warp: Create self-contained single binary applications
Warp lets you create self-contained single binary applications making it simpler and more ergonomic to deliver your application to your customers. A self-contained binary is specially convenient when the technology you use, such as Node.js, .NET Core, Java and others, contain many dependencies that must be shipped alongside your application. Warp is written in Rust and is supported on Linux, Windo
GitHub - frugalos/frugalos: Frugal Object Storage
// Create a cluster. $ frugalos create --id example --data-dir example/ Oct 26 13:42:06.244 INFO [START] create: local=Server { id: "example", seqno: 0, host: V4(127.0.0.1), port: 14278 }; data_dir.as_ref()="example/"; , server: example@127.0.0.1:14278, module: frugalos_config::cluster:121 Oct 26 13:42:06.245 INFO Creates data directry: "example/", server: example@127.0.0.1:14278, module: frugalos
GitHub - travis-ci/apt-package-safelist: Safelist of apt packages approved for build environments with restricted sudo
We have a container-based infrastructure which runs docker. Because docker containers are not fully isolated, the use of sudo is disallowed on that environment, to prevent builds from breaking out to the host machine. We do however want to allow the installation of some packages via apt. This repo contains plain text files for the packages approved for installation in those restricted build enviro
GitHub - akiyosi/goneovim: A GUI frontend for neovim.
Project Status Update Due to Qt 5.15 reaching end-of-life, active development of goneovim has been discontinued. Only critical bug fixes and security updates will be addressed going forward. The author has started developing Zonvie, a new Neovim GUI built with Zig and native frontends, empowered by generative AI. Future efforts will be focused there. If you're interested, please give it a try! Tra
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - rubytogether/kirby
GitHub - sharkdp/diskus: A minimal, fast alternative to 'du -sh'
GitHub - analysis-tools-dev/static-analysis: ⚙️ A curated list of static analysis (SAST) tools and linters for all programming languages, config files, build tools, and more. The focus is on tools which improve code quality.
GitHub - mimblewimble/grin: Minimal implementation of the Mimblewimble protocol.
GitHub - Amanieu/hashbrown: Rust port of Google's SwissTable hash map
GitHub - rust-lang-nursery/lazy-static.rs: A small macro for defining lazy evaluated static variables in Rust.
GitHub - sourcerer-io/sourcerer-app: 🦄 Sourcerer app makes a visual profile from your GitHub and git repositories.
GitHub - clap-rs/clap-verbosity-flag: Easily add a --verbose flag to CLIs using Clap
GitHub - frugalos/cannyls: An embedded persistent key-value storage for Rust that is optimized for random-access workload and huge-capacity HDD
GitHub - alexcrichton/futures-await
GitHub - nachoparker/dutree: a tool to analyze file system usage written in Rust
GitHub - domaframework/doma: DAO oriented database mapping framework for Java
GitHub - travis-ci/apt-whitelist-checker: Automation of https://github.com/travis-ci/apt-package-whitelist approval process
GitHub - w0rp/vim: My .vim directory.
GitHub - weiznich/wundergraph