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
• shaylew / chordly
  interactive chord progression generator
  ☆12Updated 2 years ago
• wallet-checker-real / Solana-wallet-checker-GitHub-project
  Solana wallet checker GitHub project
  ☆12Updated last week
• macalimlim / programming-in-haskell
  Programming in Haskell by Graham Hutton
  ☆17Updated 10 years ago
• knightsamar / cs340_sample_nodejs_app
  Fork of @wolfordj/CS340-Sample-Web-App with modifications
  ☆11Updated 5 years ago
• UFAC-SI / tesi1-2024
  Repositório da Disciplina de Tópicos Especiais em Sistemas de Informação 1 - 2024
  ☆9Updated 7 months ago
• zkFold / symbolic
  Symbolic framework
  ☆17Updated this week
• gwaithimirdain / narya
  A proof assistant for higher-dimensional type theory
  ☆198Updated this week
• recursion-ninja / CSCI-499-2021-Fall
  CSCI 499 — Advanced Applications: A Hunter Fall 2021 Course
  ☆28Updated 3 years ago
• akx / vite-react-ts-template
  npx degit akx/vite-react-ts-template
  ☆21Updated 2 months ago
• jschomay / elm-bounded-number
  A type representing bounded numbers in Elm.
  ☆9Updated 4 years ago
• scotchka / python-201
  ☆33Updated 2 years ago
• TDA283-compiler-construction / project
  Material for TDA283 / DIT300 Compiler Construction
  ☆16Updated 3 weeks ago
• conal / Collaboration
  Play/learn/work with me
  ☆106Updated 3 weeks ago
• charlielidbury / ochre
  A systems theorem prover
  ☆10Updated 11 months ago
• Mzk-Levi / texts
  ☆155Updated 10 years ago
• mlabs-haskell / apropos
  Propositional Logic Apropos Types
  ☆14Updated 2 years ago
• sivertschou / shortcuts
  En liten samling editorshortcuts som jeg hvert fall skulle ønske jeg begynte å bruke tidligere 🤠
  ☆11Updated 2 years ago
• DevOps-Represent / docker-101
  An introduction to Docker for absolute beginners.
  ☆43Updated 2 years ago
• sycomix / facefusion-unlocked
  Next generation face swapper and enhancer - with no NSFW filter
  ☆8Updated last year
• UniMath / agda-unimath
  The agda-unimath library
  ☆255Updated this week
• leftaroundabout / linearmap-family
  Purely-functional, coordinate-free linear algebra
  ☆28Updated last week
• DURepo / CS_325_Exercises
  ☆33Updated 3 years ago
• Rahat-ch / The_Sylar_Project
  A Mental Health Repository for easily finding local mental health resources. Currently, work in progress!
  ☆21Updated 4 years ago
• agda / cornelis
  agda-mode for neovim
  ☆158Updated last month
• smilack / purescript-gesso
  Easily build canvas applications in PureScript — Compatible with Halogen
  ☆13Updated last week
• AntanasKal / yampa-wasm-example
  Example of using Yampa and GHC Wasm backend to create a simple web app.
  ☆18Updated last year
• Gabriella439 / grace
  A ready-to-fork interpreted functional language with type inference
  ☆403Updated this week
• saurabhnanda / odd-jobs
  Haskell job queue with admin UI and loads of other features.
  ☆76Updated 7 months ago