pschuermann / community-of-practice

Related projects ⓘ

Alternatives and complementary repositories for community-of-practice

• mbbx6spp / welltypedfp
  Curriculum, and materials including exercises for an internal course on typed pure functional programming
  ☆10Updated 6 years ago
• HypothesisWorks / hypothesis-ruby
  A very early days prototype of Hypothesis for Ruby
  ☆22Updated 6 years ago
• owickstrom / tlaplus-cli-template
  CLI-driven TLA+ project template
  ☆43Updated 5 years ago
• hwayne / tlacli
  A script for running TLA+/TLC from the command line
  ☆80Updated 3 years ago
• puffnfresh / crosscheck
  Using QuickCheck to test functions in other languages/environments.
  ☆32Updated 9 years ago
• strangeloop / StrangeLoop2015
  ☆64Updated 8 years ago
• lorin / dns-alloy
  Modeling DNS with Alloy
  ☆37Updated 2 years ago
• timbod7 / secretfs
  A FUSE file system that interpolates secret information
  ☆20Updated 7 years ago
• raganwald / combinators.info
  ☆23Updated 11 years ago
• NorfairKing / the-notes
  The Notes
  ☆12Updated 6 years ago
• bendyworks / api-server
  A JSON API server written in Haskell
  ☆66Updated 9 years ago
• asthasr / errant
  A simple implementation of an "Error" [pseudo-]monad for Ruby.
  ☆16Updated 8 years ago
• papers-we-love / remote-pwl
  Papers We ❤️ Remote
  ☆26Updated 7 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆38Updated last year
• jaspervdj / talks
  Slides & demos for talks I do
  ☆60Updated 4 years ago
• Epitrochoid / uinitd
  WM independent launcher for scripts modeled after systemd and connman.
  ☆12Updated 9 years ago
• tonymorris / lets-lens
  Course material for lens
  ☆21Updated 7 years ago
• jonschoning / pinboard
  Haskell Pinboard API Client
  ☆13Updated 2 years ago
• hadolint / language-docker
  Haskell Dockerfile parser, pretty-printer and EDSL
  ☆39Updated 5 months ago
• jgm / filestore
  A versioning file store backed by git, darcs, or mercurial
  ☆30Updated 6 months ago
• chadbrewbaker / introToAWSLambda
  Introduction to AWS Lambda
  ☆21Updated 7 years ago
• vmchale / cpkg
  A build tool/package manager for C, configured with Dhall
  ☆68Updated last year
• jaspervdj / cabal-dependency-licenses
  Compose a list of a project's transitive dependencies with their licenses
  ☆28Updated 3 years ago
• thoughtbot / FOMObot
  A slack bot to help with FOMO.
  ☆62Updated 6 years ago
• nikita-volkov / graph-db
  An experimental native Haskell graph database
  ☆60Updated 6 years ago
• rudymatela / extrapolate
  generalize counter-examples of property-based testing
  ☆13Updated 9 months ago
• pbrisbin / load-env
  Load environment variables from .env
  ☆19Updated 11 months ago
• mfine / postgresql-schema
  PostgreSQL Schema is a database migration tool.
  ☆13Updated 6 years ago
• SamirTalwar / smoke
  Runs tests against anything, using command-line arguments, STDIN, STDOUT and STDERR.
  ☆90Updated last month