Alternatives and similar repositories for pikross:

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

• stephbc / TOTEM
  TOTEM: an app for all your nights out
  ☆11Updated 9 months ago
• gkmurray124 / tinydeskplayer
  ☆10Updated 2 years ago
• shaylew / chordly
  interactive chord progression generator
  ☆12Updated 2 years ago
• fabianrguez / rcdb-api
  🎢RCDB non official Rest API created by scrape RCDB website.
  ☆12Updated 3 months ago
• diku-dk / ap-e2024-pub
  Public repository for Advanced Programming
  ☆56Updated 3 weeks ago
• mua-uniandes / weekly-problems
  Site to archive problems and their solutions
  ☆6Updated this week
• flowershow / flowershow
  💐 Publish your obsidian digital garden or any markdown site easily and elegantly.
  ☆903Updated last week
• goosedb / InterpolatePlugin
  Interpolate plugin for GHC 8.10.7
  ☆13Updated 2 years ago
• chad-bennett / obsidian-publish-css
  the publish.css file for my personal website
  ☆23Updated 4 months ago
• PrincetonUniversity / VST
  Verified Software Toolchain
  ☆452Updated last week
• byui-cse / cse251-course
  CSE 251 - Concurrency and Parallelism
  ☆15Updated last year
• CSchank / finsm
  An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).
  ☆11Updated 3 years ago
• jfaure / Irie-lang
  Subtyping calculus of inductive constructions
  ☆52Updated last year
• nipkow / fds_ss20
  Lecture course on verified Functional Data Structures
  ☆27Updated 4 years ago
• QuickChick / QuickChick
  Randomized Property-Based Testing Plugin for Coq
  ☆263Updated 2 weeks ago
• christine-hu / summer-2019-internships
  A document to help undergraduates keep track of software engineering internship opportunities.
  ☆1,067Updated 5 years ago
• selfire1 / BibleGateway-to-Obsidian
  This script adapts jgclark's BibleGateway-to-Markdown script to export for use in Obsidian.
  ☆219Updated 8 months ago
• agda / agda2hs
  Compiling Agda code to readable Haskell
  ☆181Updated 3 weeks ago
• CleanTalk / mediawiki-antispam
  Antispam extension for MediaWiki.
  ☆14Updated 4 months ago
• s-zeng / resume
  Resume generation stack - create PDF, markdown, website resumes from a single resume specification
  ☆10Updated last year
• CleanTalk / nginx-cleantalk-service
  LUA configuration to filter any POST requests.
  ☆12Updated 5 years ago
• RedPRL / redtt
  "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
  ☆206Updated 2 years ago
• ott-lang / ott
  The Ott tool for writing definitions of programming languages and calculi
  ☆361Updated last month
• CleanTalk / whmcs-addon
  Addon to sale CleanTalk service for hosting customers.
  ☆10Updated 9 years ago
• Plutonomicon / plutarch-plutus
  Typed eDSL for writing UPLC /ˈpluː.tɑːk/
  ☆131Updated this week
• granule-project / granule
  A statically-typed linear functional language with graded modal types for fine-grained program reasoning
  ☆600Updated last week
• plclub / hs-to-coq
  Convert Haskell source code to Coq source code.
  ☆82Updated 5 months ago
• stoeffel / haskell-simple-dsl-examples
  Simple examples on how to implement a DSL in Haskell.
  ☆18Updated 5 years ago
• evturn / programming-in-haskell
  Solutions to exercises from the book Programming in Haskell (2nd Edition)
  ☆46Updated 6 years ago
• tgdwyer / tgdwyer.github.io
  Apps and Demos
  ☆31Updated 3 months ago