ksantiago / pikross
☆10Updated 2 years ago
Alternatives and similar repositories for pikross:
Users that are interested in pikross are comparing it to the libraries listed below
- TOTEM: an app for all your nights out☆11Updated 9 months ago
- ☆10Updated 2 years ago
- interactive chord progression generator☆12Updated 2 years ago
- 🎢RCDB non official Rest API created by scrape RCDB website.☆12Updated 3 months ago
- Public repository for Advanced Programming☆56Updated 3 weeks ago
- Site to archive problems and their solutions☆6Updated this week
- 💐 Publish your obsidian digital garden or any markdown site easily and elegantly.☆903Updated last week
- Interpolate plugin for GHC 8.10.7☆13Updated 2 years ago
- the publish.css file for my personal website☆23Updated 4 months ago
- Verified Software Toolchain☆452Updated last week
- CSE 251 - Concurrency and Parallelism☆15Updated last year
- An Elm app for building and simulating deterministic and non-deterministic finite automata (DFAs and NFAs).☆11Updated 3 years ago
- Subtyping calculus of inductive constructions☆52Updated last year
- Lecture course on verified Functional Data Structures☆27Updated 4 years ago
- Randomized Property-Based Testing Plugin for Coq☆263Updated 2 weeks ago
- A document to help undergraduates keep track of software engineering internship opportunities.☆1,067Updated 5 years ago
- This script adapts jgclark's BibleGateway-to-Markdown script to export for use in Obsidian.☆219Updated 8 months ago
- Compiling Agda code to readable Haskell☆181Updated 3 weeks ago
- Antispam extension for MediaWiki.☆14Updated 4 months ago
- Resume generation stack - create PDF, markdown, website resumes from a single resume specification☆10Updated last year
- LUA configuration to filter any POST requests.☆12Updated 5 years ago
- "Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory☆206Updated 2 years ago
- The Ott tool for writing definitions of programming languages and calculi☆361Updated last month
- Addon to sale CleanTalk service for hosting customers.☆10Updated 9 years ago
- Typed eDSL for writing UPLC /ˈpluː.tɑːk/☆131Updated this week
- A statically-typed linear functional language with graded modal types for fine-grained program reasoning☆600Updated last week
- Convert Haskell source code to Coq source code.☆82Updated 5 months ago
- Simple examples on how to implement a DSL in Haskell.☆18Updated 5 years ago
- Solutions to exercises from the book Programming in Haskell (2nd Edition)☆46Updated 6 years ago
- Apps and Demos☆31Updated 3 months ago