isomorpheme

isomorpheme's Stars

• foambubble/foam

  A personal knowledge management and sharing system for VSCode

  Language:TypeScript15.3k121698653

• tummychow/git-absorb

  git commit --fixup, but automatic

  Language:Rust4.4k226966

• DeterminateSystems/nix-installer

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

  Language:Rust2.1k1359552

• nix-community/NixOS-WSL

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

  Language:Nix1.8k29192114

• fabianlindfors/reshape

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

  Language:Rust1.7k201837

• josh-project/josh

  Just One Single History

  Language:Rust1.5k910355

• la10736/rstest

  Fixture-based test framework for Rust

  Language:Rust1.2k521842

• creusot-rs/creusot

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

  Language:Rust1.1k2335350

• maralorn/nix-output-monitor

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

  Language:Haskell8541212925

• mystor/git-revise

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

  Language:Python746186731

• hercules-ci/arion

  Run docker-compose with help from Nix/NixOS

  Language:Nix6421313547

• sarsko/CreuSAT

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

  Language:Rust60971011

• rosefromthedead/effing-mad

  Algebraic effects for Rust

  Language:Rust58617420

• circuithub/rel8

  Hey! Hey! Can u rel8?

  Language:Haskell154169439

• ed-o-saurus/PLHaskell

  A Haskell extension for PostgreSQL that allows embedded Haskell code.

  Language:PLpgSQL135792

• flora-pm/flora-server

  A package index for the Haskell ecosystem

  Language:Haskell125818338

• cdepillabout/stacklock2nix

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

  Language:Nix493216

• tfausak/cabal-gild

  :crown: Format Haskell package descriptions.

  Language:Haskell475425

• frozenlib/test-strategy

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

  Language:Rust442129

• Kha/nixprof

  A Nix build graph profiler

  Language:Python29324

• biscuit-auth/biscuit-haskell

  Language:Haskell241147

• shadyfennec/baugelang

  An esoteric programming language, using box-drawing characters

  23401

• freckle/stack-lint-extra-deps

  Stack Lint Extra Deps (SLED)

  Language:Haskell111472

• Gabriella439/composable-path

  Typed paths that are composable

  Language:Haskell1120

• ocharles/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:Haskell941314

• Carnagion/lamb

  Pure untyped lambda calculus in safe Rust.

  Language:Rust7100

• chordify/redis-schema

  Typed, schema-based, composable Redis library for Haskell

  Language:Haskell70

• polygon/make-wrapper

  makeWrapper and wrapProgram freed from Nix build system

  Language:Nix7200

• tfausak/patrol

  :signal_strength: A Sentry SDK for Haskell

  Language:Haskell721

• parsonsmatt/exception-via

  Derive hierarchical exception instances for your datatypes

  Language:Haskell5421