Daan Rijks (isomorpheme)

isomorpheme

Geek Repo

Company:@channable

Location:Utrecht, The Netherlands

Home Page:https://functional.cafe/@isomorpheme

Github PK Tool:Github PK Tool

Daan Rijks's starred repositories

cabal-gild

:crown: Format Haskell package descriptions.

Language:HaskellLicense:MITStargazers:47Issues:0Issues:0

PLHaskell

A Haskell extension for PostgreSQL that allows embedded Haskell code.

Language:PLpgSQLLicense:GPL-3.0Stargazers:98Issues:0Issues:0

lamb

Pure untyped lambda calculus in safe Rust.

Language:RustLicense:MITStargazers:7Issues:0Issues:0

make-wrapper

makeWrapper and wrapProgram freed from Nix build system

Language:NixLicense:MITStargazers:7Issues:0Issues:0

CreuSAT

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

Language:RustLicense:MITStargazers:602Issues:0Issues:0

creusot

Creusot helps you prove your code is correct in an automated fashion.

Language:RustLicense:LGPL-2.1Stargazers:1095Issues:0Issues:0

reshape

An easy-to-use, zero-downtime schema migration tool for Postgres

Language:RustLicense:MITStargazers:1693Issues:0Issues:0

composable-path

Typed paths that are composable

Language:HaskellLicense:NOASSERTIONStargazers:11Issues:0Issues:0

git-absorb

git commit --fixup, but automatic

Language:RustLicense:BSD-3-ClauseStargazers:3351Issues:0Issues:0

patrol

:signal_strength: A Sentry SDK for Haskell

Language:HaskellLicense:MITStargazers:7Issues:0Issues:0

stacklock2nix

Easily build a Haskell project from a stack.yaml.lock file with Nix

Language:NixLicense:BSD-3-ClauseStargazers:45Issues:0Issues:0

baugelang

An esoteric programming language, using box-drawing characters

Stargazers:23Issues:0Issues:0

test-strategy

Procedural macro to easily write higher-order strategies in proptest.

Language:RustLicense:Apache-2.0Stargazers:40Issues:0Issues:0

rstest

Fixture-based test framework for Rust

Language:RustLicense:Apache-2.0Stargazers:1097Issues:0Issues:0

flora-server

A package index for the Haskell ecosystem

Language:HaskellLicense:NOASSERTIONStargazers:124Issues:0Issues:0

nix-output-monitor

Pipe your nix-build output through the nix-output-monitor a.k.a nom to get additional information while building.

Language:HaskellLicense:AGPL-3.0Stargazers:806Issues:0Issues:0

exception-via

Derive hierarchical exception instances for your datatypes

Language:HaskellLicense:BSD-3-ClauseStargazers:5Issues:0Issues:0

effing-mad

Algebraic effects for Rust

Language:RustStargazers:581Issues:0Issues:0

arion

Run docker-compose with help from Nix/NixOS

Language:NixLicense:Apache-2.0Stargazers:620Issues:0Issues:0

redis-schema

Typed, schema-based, composable Redis library for Haskell

Language:HaskellLicense:BSD-3-ClauseStargazers:7Issues:0Issues:0

rel8

Hey! Hey! Can u rel8?

Language:HaskellLicense:NOASSERTIONStargazers:152Issues:0Issues:0

nix-installer

Install Nix and flakes with the fast and reliable Determinate Nix Installer, with over 2 million installs.

Language:RustLicense:LGPL-2.1Stargazers:1933Issues:0Issues:0
Language:HaskellStargazers:24Issues:0Issues:0

tasty-ant-xml

A tasty ingredient to output test results in XML, using the Ant schema. This XML can be consumed by the Jenkins continuous integration framework.

Language:HaskellLicense:NOASSERTIONStargazers:9Issues:0Issues:0

nixprof

A Nix build graph profiler

Language:PythonLicense:Apache-2.0Stargazers:29Issues:0Issues:0

josh

Just One Single History

Language:RustLicense:MITStargazers:1455Issues:0Issues:0

NixOS-WSL

NixOS on WSL(2) [maintainer=@nzbr]

Language:NixLicense:Apache-2.0Stargazers:1678Issues:0Issues:0

foam

A personal knowledge management and sharing system for VSCode

Language:TypeScriptLicense:NOASSERTIONStargazers:15160Issues:0Issues:0

git-revise

A handy tool for doing efficient in-memory commit rebases & fixups

Language:PythonLicense:MITStargazers:733Issues:0Issues:0

stack-lint-extra-deps

Stack Lint Extra Deps (SLED)

Language:HaskellLicense:MITStargazers:11Issues:0Issues:0