Lists (2)
Sort Name ascending (A-Z)
Stars
- All languages
- Assembly
- BitBake
- C
- C#
- C++
- CSS
- Clojure
- D
- DTrace
- Dart
- Dockerfile
- Elm
- F#
- F*
- Fluent
- Go
- HTML
- Haskell
- Java
- JavaScript
- Kotlin
- Lua
- Makefile
- Mathematica
- Nim
- Nix
- OCaml
- Objective-C
- Perl
- PostScript
- Python
- RenderScript
- Ruby
- Rust
- SCSS
- Scala
- Shell
- Swift
- SystemVerilog
- TeX
- TypeScript
- Verilog
- Vim Script
- Vue
- Zig
ripgrep recursively searches directories for a regex pattern while respecting your gitignore
a structural diff that understands syntax 🟥🟩
OpenSK is an open-source implementation for security keys written in Rust that supports both FIDO U2F and FIDO2 standards.
LSP-AI is an open-source language server that serves as a backend for AI-powered functionality, designed to assist and empower software engineers, not replace them.
A static verifier for Rust, based on the Viper verification infrastructure.
boxxy puts bad Linux applications in a box with only their files.
Aero is a new modern, experimental, UNIX-like operating system following the monolithic kernel design. Supporting modern PC features such as long mode, 5-level paging, and SMP (multicore), to name …
A pure-Rust implementation of Bulletproofs using Ristretto.
A modular and blazing fast runtime security tool for the IoT, powered by eBPF.
Rust library to interact with Security Keys, used by Firefox
Pure-Rust traits and utilities for constant-time cryptographic implementations.
A set of cryptographic primitives for building a multi-hop Proxy Re-encryption scheme, known as Transform Encryption.
An Rust implementation of FROST: Flexible Round-Optimised Schnorr Threshold signatures using the Ristretto group
Rust SDK for IronCore's Data Control Platform for end-to-end encryption