
Highlights
- Pro
- All languages
- Agda
- Assembly
- Bikeshed
- C
- C#
- C++
- CMake
- CSS
- Clojure
- CoffeeScript
- Coq
- Cuda
- Dart
- Dockerfile
- GDScript
- Go
- HCL
- HTML
- Haskell
- Java
- JavaScript
- Julia
- Jupyter Notebook
- Kotlin
- LLVM
- Lean
- Lex
- Makefile
- Markdown
- Meson
- Nix
- OCaml
- Objective-C
- PHP
- Pascal
- Perl
- PowerShell
- PureScript
- Python
- RPM Spec
- Reason
- Rocq Prover
- Ruby
- Rust
- Scala
- Shell
- Solidity
- Swift
- TeX
- TypeScript
- Vala
- Verilog
- Vue
- WebAssembly
Starred repositories
A fast, pure-Rust library for computational number theory
A tool for recompiling Xbox 360 games to native executables.
Broadlink Mini 3 Homeassistant Ir Codes for Samsung TV
Fullstack app framework for web, desktop, and mobile.
Custom component to calculate estimated power consumption of lights and other appliances
Hyprland is an independent, highly customizable, dynamic tiling Wayland compositor that doesn't sacrifice on its looks.
MilesCranmer / rip2
Forked from nivekuil/ripA safe and ergonomic alternative to rm
reCamera is an opensource camera platform
A Direct-to-Driver open mobility platform powering the next-generation of mobility applications in India.
Encrypted Machine Learning library that relies on the Next-Gen Vaultree Fully Homomorphic Encryption (NG-FHE) library, VENumpy.
Crucible is a library for symbolic simulation of imperative programs
An effort to build a single place for all useful android and iOS security related stuff. All references and tools belong to their respective owners. I'm just maintaining it.
Offical FUTO Keyboard Issue Tracker and Source Mirror of https://gitlab.futo.org/keyboard/latinime
Implementation of the signature scheme SQISign accompanying the paper "New algorithms for the Deuring correspondence - Towards practical and secure SQISign signatures" (EUROCRYPT'23).
SQISign: Short Quaternion and Isogeny Signature – C implementation based on PARI/GP (obsolete implementation)
📚 Learn to write an embedded OS in Rust 🦀
Mirror of https://gitlab.redox-os.org/redox-os/redox
A virtual DOM library with focus on simplicity, modularity, powerful features and performance.
Cryptographic Primitive Code Generation by Fiat
A cross-platform serial port library in Rust. Provides a blocking I/O interface and port enumeration including USB device information.
Declarative binary reading and writing: bit-level, symmetric, serialization/deserialization
Real-Time Interrupt-driven Concurrency (RTIC) framework for ARM Cortex-M microcontrollers
Compilation instructions and hex files for Z-Stack firmwares