vimpostor

followers

following

stars

@KDAB

Germany

https://blog.mggross.com

Organizations

fftune

KDAB

lirios

Magnus Groß's starred repositories

do-notation

The Haskell’s do notation brought to Rust

Language:Rust5400

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellISC232800

proptest

Hypothesis-like property testing for Rust

Language:RustApache-2.0160300

unison

A friendly programming language from the future

Language:HaskellNOASSERTION560900

nixd

Nix language server, based on nix libraries [maintainer=@inclyc]

Language:C++LGPL-3.068800

rapidcheck

QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.

Language:C++BSD-2-Clause97100

dlx

Library that solves the exact cover problem using Dancing Links, also known as DLX.

Language:CGPL-3.05000

compiler

The adventures of a Haskell compiler

Language:HaskellGPL-3.020200

agda

Agda is a dependently typed programming language / interactive theorem prover.

Language:HaskellNOASSERTION239600

haskell-tools.nvim

Supercharge your Haskell experience in neovim!

Language:LuaGPL-2.040500

efm-langserver

General purpose Language Server

Language:GoMIT129900

goaccess

GoAccess is a real-time web log analyzer and interactive viewer that runs in a terminal in *nix systems or through your browser.

Language:CMIT1768200

gRainbow

A synthesizer that uses pitch detection to choose candidates for granular synthesis or sampling.

Language:C++GPL-3.018000

generative-art

I wanted to make a nicer sticker for Munihac, then things got out of hand.

Language:HaskellBSD-3-Clause14600

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

Language:C++NOASSERTION200200

gnuradio

GNU Radio – the Free and Open Software Radio Ecosystem

Language:C++GPL-3.0485900

runwhenidle

Linux utility that can be used to run a computationally or IO-intensive program when user is not in front of the computer.

Language:CGPL-2.011300

revng

revng: the core repository of the rev.ng project

Language:C++GPL-2.0122600

vormbaar

Custom VM project. Should evolve into a full programming environment some day.

Language:RustGPL-3.0500

tabletop-club

An open-source platform for playing tabletop games in a physics-based 3D environment for Windows, macOS, and Linux! Made with the Godot Engine.

Language:GDScriptMIT124000

cabal

Official upstream development repository for Cabal and cabal-install

Language:HaskellNOASSERTION157300

multi-account-containers

Firefox Multi-Account Containers lets you keep parts of your online life separated into color-coded tabs that preserve your privacy. Cookies are separated by container, allowing you to use the web with multiple identities or accounts simultaneously.

Language:JavaScriptMPL-2.0262900

msdfgen

Multi-channel signed distance field generator

Language:C++MIT376800

libevent

Event notification library

Language:CNOASSERTION1084200

Tidal

Pattern language

Language:C++GPL-3.0215400

paperview

A high performance X11 animated wallpaper setter

Language:CMIT142800

refl-cpp

Static reflection for C++17 (compile-time enumeration, attributes, proxies, overloads, template functions, metaprogramming).

Language:C++MIT102800

Enzyme.jl

Julia bindings for the Enzyme automatic differentiator

Language:JuliaMIT41500

Fire

This is a mutiband distortion plugin.

Language:C++AGPL-3.047400

pwdjail

Transparent $PWD-based sandboxer based on user-separation.

Language:ShellGPL-3.0300