Beast code in Giters

Magnus's starred repositories

comprehensive-rust

This is the Rust course used by the Android team at Google. It provides you the material to quickly teach Rust.

Language:RustApache-2.026881 144 278

btop

A monitor of resources

Language:C++Apache-2.018459 105 566

mold

Mold: A Modern Linker 🦠

Language:C++MIT13837 108 859

kani

Kani Rust Verifier

Language:RustApache-2.02063 25 1595

pg_partman

Partition management extension for PostgreSQL

Language:PLpgSQLNOASSERTION1997 55 480

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause1968 55 1559

recipe-el_fuego_viviente

Fermented Chili "Open Sauce" - My most starred repo has no code in it!

NOASSERTION1743 24 9

bandit

Bandit is a pure Elixir HTTP server for Plug & WebSock applications

Language:ElixirMIT1613 27 130

io-uring

The `io_uring` library for Rust

Language:RustApache-2.01131 41 119

typetag

Serde serializable and deserializable trait objects

Language:RustApache-2.01102 9 53

KoboCloud

A set of scripts to synchronize a kobo reader with popular cloud services

Language:ShellNOASSERTION966 24 141

advisory-db

Security advisory database for Rust crates published through crates.io

NOASSERTION892 45 253

pytm

A Pythonic framework for threat modeling

Language:PythonNOASSERTION865 41 81

zigler

zig nifs in elixir

Language:ElixirMIT715 9 335

ntpd-rs

A full-featured implementation of the Network Time Protocol, including NTS support.

Language:RustNOASSERTION707 17 232

ryu

Fast floating point to string conversion

Language:RustApache-2.0589 13 23

dillo

Dillo, a multi-platform graphical web browser

Language:C++GPL-3.0519 14 140

websockex

An Elixir Websocket Client

Language:ElixirMIT512 10 87

jsonapi

JSON:API Serializer and Query Handler for Elixir

Language:ElixirMIT494 24 103

nimble_options

A tiny library for validating and documenting high-level options. 💽

Language:ElixirApache-2.0479 11 43

assent

Multi-provider framework in Elixir

Language:ElixirMIT377 9 41

pq

Parse and Query log files as time series

Language:RustMIT373 7 7

clpz

Constraint Logic Programming over Integers

Language:Prolog175 11 27

conc-map-bench

Language:Rust143 5 4

bandsnatch

A CLI batch downloader for your Bandcamp collection.

Language:RustMIT57 4 10

gen-batch-server

A generic batching server for Erlang and Elixir

Language:ErlangNOASSERTION47 22 8

opcua

Native Erlang implementation of OPCUA

Language:ErlangApache-2.024 9 2

rabbitmq-github-action

Use RabbitMQ message broker in GitHub Actions

Language:ShellMIT6 2 2

pickler

Python Pickle library for Erlang

Language:ErlangApache-2.01 20

smalltest

Smallcheck in Rust

Language:Rust1 30