8000 turion (Manuel Bärenz) / Starred · GitHub
[go: up one dir, main page]

Skip to content
View turion's full-sized avatar

Block or report turion

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

Haskell 19,660 1,324 Updated Nov 7, 2026

BridgeStan provides efficient in-memory access through Python, Julia, and R to the methods of a Stan model.

Python 121 16 Updated Nov 3, 2026

Install NixOS everywhere via SSH [maintainers=@Mic92 @Lassulus @phaer @Enzime @a-kenji]

Shell 3,565 214 Updated Nov 4, 2026
Haskell 2 Updated Apr 25, 2022

A library for probabilistic programming in Haskell.

Jupyter Notebook 441 68 Updated Nov 8, 2026
Haskell 1 1 Updated Nov 24, 2017

A List monad transformer and related tools

Haskell 12 1 Updated Nov 27, 2022

Updating nixpkgs packages since 2018

Haskell 628 108 Updated Nov 3, 2026

An web-based application for managing conferences

HTML 1 Updated Dec 30, 2020

An implementation of Finger Trees for Elixir

Elixir 7 2 Updated Dec 23, 2022

Minimal runtime support for ExType.

Elixir 1 Updated Sep 14, 2019

A type checker for Elixir

Elixir 34 1 Updated Mar 24, 2023

A simple and concise way to annotate structs (or exceptions) with type info.

Elixir 1 1 Updated Jan 26, 2021

Phase vocoder in Haskell

Haskell 18 1 Updated Mar 1, 2021

Total Parser Combinators in Agda

Agda 138 15 Updated Oct 29, 2026

Agda library for verifying neural networks.

Agda 8 Updated Nov 26, 2020

😎 Awesome lists about all kinds of interesting topics [NOTE: Pull requests are temporarily disabled until I have a chance to catch up with the existing ones]

533,370 38,219 Updated Sep 2, 2026
Haskell 1 Updated Oct 1, 2016

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Haskell 234 38 Updated Oct 22, 2026

Wahjam online music collaboration

C++ 76 17 Updated May 31, 2023
Python 1 Updated Aug 24, 2011

Dependency resolution

Python 1 Updated Jan 14, 2011
Python 2 Updated Aug 20, 2011

A simple tree class, mainly for enigmage.

Python 1 Updated Jan 9, 2013

An image viewer with animations, written in python

Python 3 Updated Jan 9, 2013
0