ldgrp / uptop

Related projects ⓘ

Alternatives and complementary repositories for uptop

• katrinafyi / how-behind
  How behind am I? Keeping track of missed Zoom lectures since 2020.
  ☆10Updated this week
• scarf-sh / nomia
  A system for precise, efficient resource management across every domain and resource type.
  ☆160Updated 3 years ago
• vivshaw / three-wise-monkeys
  You've heard of the SKI combinators... How about the 🙊🙉🙊 combinators?
  ☆33Updated 3 years ago
• MaxwellBo / well-documented
  📖 A collection of analyses, tutorials, walkthroughs and literate implementations of moderately complex standalone applications
  ☆59Updated 3 years ago
• FormationAI / dhall-bhat
  Tasty meal of Dhall
  ☆66Updated last year
• markandrus / twilio-haskell
  Twilio library for Haskell
  ☆38Updated last year
• srid / Taut
  An ambitious Slack JSON export viewer.
  ☆24Updated 4 years ago
• NorfairKing / really-safe-money
  Uncompromisingly safe money library
  ☆46Updated this week
• nix-community / linuxkit-nix
  An easy to use Linux builder for macOS [maintainer=@nicknovitski]
  ☆133Updated last year
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• MercuryTechnologies / ghc-specter
  Inspecting tool for GHC compilation pipeline
  ☆31Updated last year
• ChrisPenner / unipatterns
  Helpers which allow safe partial pattern matching in lambdas
  ☆31Updated 4 years ago
• Anut-py / ghc-web-test
  ☆15Updated last year
• matsumonkie / izuna
  Show Haskell type annotations when doing code review on Github
  ☆142Updated 3 years ago
• jcouyang / dhall-aws-cloudformation
  Typecheck, template and modularize your AWS CloudFormation with Dhall
  ☆30Updated 8 months ago
• plaidfinch / StrictCheck
  Keep your laziness in check!
  ☆32Updated 2 years ago
• holidaycheck / nix-remote-builder
  Easy way to set up a linux remote builder in docker
  ☆28Updated 6 years ago
• NorfairKing / haskell-WAT
  A collection of Haskell's WATs
  ☆89Updated last year
• tweag / webauthn
  A library for parsing and validating webauthn/fido2 credentials
  ☆34Updated last month
• jkachmar / easy-hls-nix
  Easy Haskell Language Server tooling with Nix!
  ☆55Updated 2 years ago
• qfpl / state-machine-testing-course
  Course for learning how to apply property-based state-machine testing
  ☆64Updated 5 years ago
• freckle / stack-lint-extra-deps
  Stack Lint Extra Deps (SLED)
  ☆11Updated this week
• matthewbauer / ghc-nix
  Exploring the options for incremental Haskell builds using Nix
  ☆106Updated last year
• input-output-hk / nix-tools
  Translate Cabals Generic Package Description to a Nix expression
  ☆96Updated last year
• maybetonyfu / chameleon
  A tool to make solving type errors in Haskell simple and fun.
  ☆36Updated 2 years ago
• adnelson / nixfromnpm
  Convert NPM packages into nix expressions
  ☆49Updated 5 years ago
• mightybyte / fake
  Generate realistic looking fake data
  ☆47Updated 3 years ago
• ruuda / blog
  My personal site
  ☆124Updated 2 months ago
• mankyKitty / cautious-sniffle
  Haskell implementation of W3C Webdriver Protocol (wip) https://w3c.github.io/webdriver/
  ☆18Updated 4 years ago
• dfithian / chez-grater
  ☆37Updated last year