Alternatives and similar repositories for pikross

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

• gkmurray124 / tinydeskplayer
  ☆10Updated 2 years ago
• stephbc / TOTEM
  TOTEM: an app for all your nights out
  ☆11Updated last year
• malinda-lin / HeroTwo
  ☆12Updated 2 years ago
• shaylew / chordly
  interactive chord progression generator
  ☆12Updated 2 years ago
• leestanley / pm-openings2022
  Currently in the process of automating job listings. Good luck everyone! 😸
  ☆161Updated 3 years ago
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆400Updated this week
• ucsd-progsys / elsa
  Elsa is a lambda calculus evaluator
  ☆187Updated last month
• sigrlami / haskellcosm
  Collecting information about Haskell ecosystem - companies, communities, media, etc.
  ☆138Updated last year
• the1lab / 1lab
  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory
  ☆368Updated last week
• statebox / idris-ct
  formally verified category theory library
  ☆263Updated 4 years ago
• cscareers-dev / 2021-new-grad
  ☆57Updated 4 years ago
• pittcsc / NewGrad-2021
  A collection of New Grad full time roles in SWE, Quant, and PM.
  ☆1,789Updated 2 years ago
• sweirich / dth
  Examples of Dependently-typed programs in Haskell
  ☆304Updated 2 years ago
• awakesecurity / spectacle
  Embedded specification language & model checker in Haskell
  ☆173Updated 3 weeks ago
• Mesabloo / diagnose
  A simple library for reporting compiler/interpreter errors
  ☆262Updated 9 months ago
• wdhg / reggie
  run and encode simple register machine programs
  ☆14Updated 3 years ago
• hwd404 / FOLD-R-PP
  The implementation of FOLD-R++ algorithm
  ☆16Updated last year
• hanabi / hanabi.github.io
  A list of Hanabi strategies
  ☆165Updated this week
• jin-guo / COMP303
  ☆47Updated last year
• MIbrahimImran / bullscourses-client
  ☆8Updated last year
• tsani / comp-302-review
  Review problems for COMP 302
  ☆18Updated last year
• aristanetworks / purescript-backend-optimizer
  Optimizing backend toolkit and modern ECMAScript backend for PureScript
  ☆204Updated 2 weeks ago
• quchen / prettyprinter
  A modern, extensible and well-documented prettyprinter.
  ☆302Updated 6 months ago
• adamyedidia / parsimony
  ☆343Updated 7 years ago
• AFPChalmers15 / AFPcourse
  http://www.cse.chalmers.se/edu/course/afp/
  ☆13Updated 9 years ago
• agda / agda-stdlib
  The Agda standard library
  ☆613Updated last week
• well-typed / optics
  Optics as an abstract interface
  ☆384Updated 3 weeks ago
• banacorn / agda-mode-vscode
  agda-mode on VS Code
  ☆175Updated this week
• agda / agda-categories
  A new Categories library for Agda
  ☆380Updated this week
• ToposInstitute / poly
  ☆114Updated 10 months ago