Alternatives and similar repositories for portulemicas

Users that are interested in portulemicas are comparing it to the libraries listed below

• cesium / DPUM
  Desafios de Programação da Universidade do Minho
  ☆12Updated 3 years ago
• cesium / atomic
  ⚛️ De-engineered bifurcarted intranet
  ☆47Updated 4 months ago
• cesium / moonstone
  Badge Platform Web App for SEI @ University of Minho
  ☆12Updated 4 years ago
• bugarela / tla-transmutation
  Elixir code and test generation from TLA+ specifications
  ☆77Updated 2 years ago
• HS-Flensburg-PLTP / fp-companies-sh-hh
  A list of companies in Schleswig-Holstein and Hamburg, that use functional programming
  ☆12Updated 4 years ago
• coderdojobraga / shuriken
  ⭐️ Frontend platform for managing session registrations and recording ninjas' progress
  ☆13Updated last year
• nelsonmestevao / uminho
  University projects, exercises & notes
  ☆16Updated 2 years ago
• cesium / safira
  💎 Sofware Engineering Week platform
  ☆51Updated last month
• striot / striot
  functional STReam processing for the IOT
  ☆29Updated 8 months ago
• channable / hoff
  A gatekeeper for your commits
  ☆46Updated last month
• stevana / property-based-testing-stateful-systems-tutorial
  A tutorial about how to apply property-based testing to stateful systems.
  ☆79Updated 2 years ago
• antoniopedrofraga / computer-science
  "Under the hood" explanations of theoretical computer science concepts.
  ☆56Updated 6 years ago
• bsonntag / who-is-that-pokemon
  ☆11Updated 5 years ago
• Qqwy / haskell-symbolize
  Implementation of an efficient thread-safe global Symbol Table, with garbage collection
  ☆19Updated 9 months ago
• cohomolo-gy / optics-resources
  Resources for the aspiring optician
  ☆43Updated 5 years ago
• deadpendency / deadpendency
  ☆26Updated 2 years ago
• takanuva / cps
  A formalization of continuation-passing style calculi in Coq [WIP]
  ☆37Updated this week
• serokell / style
  Collection of programming style guides used in Serokell
  ☆12Updated 3 years ago
• haskell / security-advisories
  ☆59Updated this week
• feliciofilipe / university
  "Todos sabemos que esta vida está agreste mas o português é mestre na arte de desenrascar"
  ☆19Updated last year
• cesium / lazuli
  🤖 Frontend for the Software Engineering Week website and platform
  ☆23Updated last year
• zyla / haskell-nullpointer
  NullPointerExceptions in Haskell
  ☆58Updated 8 years ago
• NorfairKing / syds-rules-for-sustainable-haskell
  ☆103Updated 4 years ago
• giventofly / cp1920
  Aulas práticas UM CP19-20
  ☆10Updated 5 years ago
• dricketts / teaching-concurrency
  Specifications and safety proofs in different tools of a simple concurrent algorithm
  ☆23Updated 5 years ago
• sras / servant-examples
  A bunch of examples that show how to do stuff using Haskell's Servant web framework
  ☆43Updated 4 years ago
• haskellfoundation / error-message-index
  A community-driven collection of documentation for Haskell error messages and warnings
  ☆106Updated 2 months ago
• haskellfoundation / matchmaker
  Find your open-soulmate <💜>
  ☆76Updated 4 years ago
• shapr / kudzu
  coverage driven random testing framework
  ☆24Updated last year
• hanshoglund / iso-deriving
  Derive instances through isomorphisms
  ☆20Updated last year