PetriNets / petrinets.github.io

Related projects: ⓘ

• agentultra / postgresql-replicant
  A streaming PostgreSQL logical replication client library for Haskell
  ☆38Updated last year
• txus / adts
  Algebraic Data Types for Ruby
  ☆74Updated 9 years ago
• ctford / flying-spaghetti-monster
  An Idris type provider for communicating type-checkable protocols.
  ☆26Updated 6 years ago
• liamoc / wizards
  High level, generic library for interrogative user interfaces in Haskell
  ☆42Updated 3 years ago
• icicle-lang / disorder.hs-ambiata
  QuickCheck extras.
  ☆29Updated 5 years ago
• jmitchell / idris-elixir
  Idris backend targeting Elixir (Work in progress)
  ☆18Updated 7 years ago
• fujimura / houseman
  A Haskell implementation of Foreman
  ☆24Updated 3 years ago
• snowleopard / stroll
  Stroll: an experimental build system
  ☆37Updated last year
• id3as / purescript-erl-pinto
  An opinionated OTP framework wrapper
  ☆25Updated 3 months ago
• owickstrom / automating-the-build-of-your-technical-presentation-template
  The full template for "Automating the Build of your Technical Presentation"
  ☆26Updated 6 years ago
• francisdb / unison-json
  Json ast / parser / printer for unison
  ☆10Updated 4 years ago
• unisonweb / codebase-ui
  Unison Codebase UI
  ☆46Updated 2 years ago
• stackbuilders / octohat
  API wrapper for Github's API in Haskell with tests
  ☆17Updated 8 years ago
• statusfailed / cartographer-string-diagrammatic-reasoning
  ☆44Updated last year
• CategoricalData / HoTT-categories
  A category theory library built on top of Homotopy Type Theory, by Jason Gross
  ☆24Updated 10 years ago
• tfausak / purple-yolk
  A Haskell IDE for Visual Studio Code.
  ☆26Updated last month
• statebox / fsm-oracle
  Finite state machines as graphs
  ☆58Updated 4 years ago
• transumption / mix-to-nix
  Sandboxable mix.lock and rebar.lock Nix generator
  ☆17Updated 4 years ago
• pawurb / haskell-pg-extras
  Haskell PostgreSQL database performance insights. Locks, index usage, buffer cache hit ratios, vacuum stats and more.
  ☆9Updated 3 years ago
• mcfilib / ribimaybe
  Maybe Functor, Applicative and Monad
  ☆30Updated 6 years ago
• edwinb / States
  State machines in Idris
  ☆36Updated 7 years ago
• seagreen / unison-code-explorer
  Superseded by the core team project Unison Share (https://github.com/unisonweb/share)
  ☆22Updated 3 years ago
• Happstack / happstack-foundation
  ☆8Updated 2 years ago
• ConferOpenSource / refurb
  Database maintenance tool support
  ☆26Updated 5 months ago
• pcarbonn / H-Calc
  So, you want to write a DSL interpreter...
  ☆25Updated 5 years ago
• philzook58 / rel
  Explorations in relations and the algebra of programming
  ☆17Updated 4 years ago
• mblarsen / elm-bulma
  Elm wrapper of the CSS framework bulma.io
  ☆9Updated 7 years ago
• markhibberd / postmark
  Library for postmarkapp.com HTTP Api
  ☆20Updated 2 years ago
• prologbyexample / code
  ☆26Updated last year
• andreypopp / purescript-node-thunk
  Node callbacks as thunks
  ☆20Updated 9 years ago