![:shipit: :shipit:](https://github.githubassets.com/images/icons/emoji/shipit.png)
Block or Report
Block or report WasistJonas
Contact GitHub support about this userβs behavior. Learn more about reporting abuse.
Report abuseLists (9)
Sort Name ascending (A-Z)
Stars
Language
Sort by: Recently starred
A statically typed programming language for scientific computations with first class support for physical dimensions and units
Common Expression Language interpreter written in Rust
Agda is a dependently typed programming language / interactive theorem prover.
Low latency inter-thread communication library in Rust inspired by the LMAX Disruptor.
GraalVM compiles Java applications into native executables that start instantly, scale fast, and use fewer compute resources π
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.
Plugin to improve viewing Markdown files in Neovim
SQL Database Explorer [SQLite, libSQL, PostgreSQL, MySQL/MariaDB, DuckDB, ClickHouse]
A Swift command line tool for generating your Xcode project
Hot is macOS menu bar application that displays the CPU speed limit due to thermal issues.
shader-like effects library for ratatui applications
macOS menubar tool to set Charge Limits and prolong battery lifespan
π Plug and play Neovim plugin boilerplate with pre-configured CI, CD, linter, docs and tests.
Agent for collecting, processing, aggregating, and writing metrics, logs, and other arbitrary data.
Automatically assess and score software repositories for supply chain risk.
Nmap - the Network Mapper. Github mirror of official SVN repository.
UNIX-like reverse engineering framework and command-line toolset
An actively maintained, feature-rich and performance oriented, neofetch like system information tool.