A collection of fun, funky, esoteric rafflers
☆26Aug 20, 2020Updated 5 years ago
Alternatives and similar repositories for rafflers
Users that are interested in rafflers are comparing it to the libraries listed below
Sorting:
- HW: a modern, open-source, typeless, turing-incomplete programming language.☆10Jul 17, 2018Updated 7 years ago
- Proof assistant for opetope and opetopic set derivation systems☆15Mar 2, 2020Updated 6 years ago
- A unique textual notation that can be used as both a data format and a markup language and that has powerful extensibility of both lexica…☆13Dec 7, 2023Updated 2 years ago
- lonelypullrequests.com☆11Oct 27, 2016Updated 9 years ago
- simple binary tree visualizer☆12Jan 19, 2024Updated 2 years ago
- ☆17Sep 29, 2018Updated 7 years ago
- A compiler for a strongly typed, haskell-like functional language☆22Feb 1, 2018Updated 8 years ago
- Solve 24 puzzles using zero-aware pattern databases☆15Nov 19, 2024Updated last year
- An embedding of ZFC into Agda☆13Dec 10, 2021Updated 4 years ago
- LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.☆20Nov 12, 2020Updated 5 years ago
- An intensely interactive, graphical theorem prover based on natural deduction☆29Aug 1, 2014Updated 11 years ago
- A web interactive tool for building proofs in the sequent calculus of Linear Logic, with its backend written in OCaml☆24Apr 7, 2025Updated 10 months ago
- PHPUnit toolkit for Vim☆35Jun 1, 2012Updated 13 years ago
- Modern Exception Driven Development in a simple throw☆67Apr 2, 2016Updated 9 years ago
- Artificial chemistry game☆42Aug 23, 2025Updated 6 months ago
- Mirroring script for packagist.org and composer repositories metadata in general☆40Nov 21, 2024Updated last year
- ☆36Oct 31, 2022Updated 3 years ago
- Twitter Bot using a simplified Markov chain implementation☆10Jun 4, 2015Updated 10 years ago
- Showing how some simple mathematical theories naturally give rise to some common data-structures☆39Jun 13, 2024Updated last year
- the acorn javascript parser, preloaded with plugins for syntax parity with recent node versions☆13Jun 26, 2025Updated 8 months ago
- A programming language☆11Jan 7, 2022Updated 4 years ago
- GitHub Action that compares two files, add tolerances, send notifications, etc☆12Updated this week
- Play sounds effects (from Super Mario Bros (NES) or Zelda (NES)) on common git commands☆40Jan 19, 2016Updated 10 years ago
- Tau is a code editor with a small learning curve inspired by Sublime Text and based on emacs.☆12Apr 10, 2018Updated 7 years ago
- IJduino☆15Sep 5, 2016Updated 9 years ago
- Go-style Communicating Sequential Processes library for JavaScript☆10Feb 19, 2020Updated 6 years ago
- End-of-life (EOL) container analysis and scanning provided as a GitHub Action using https://github.com/xeol-io/xeol☆14Oct 23, 2024Updated last year
- My mostly incomplete list of memorable talks that should probably be required material☆92Nov 26, 2021Updated 4 years ago
- RSocket PHP implementation using ReactPHP☆11Jan 30, 2022Updated 4 years ago
- My blog☆12Sep 9, 2025Updated 5 months ago
- High-level styling library for React☆12May 25, 2019Updated 6 years ago
- Organization site☆11Sep 27, 2019Updated 6 years ago
- Extension needed for the Magento 2 xCore connector☆13Mar 28, 2025Updated 11 months ago
- 3D grid and building block engine supporting the 3DML text format, similar to but predates Minecraft☆12Sep 9, 2018Updated 7 years ago
- Reverse Engineering Environment for Retro-Programming☆11Oct 29, 2025Updated 4 months ago
- A Dependently Typed Esolang☆10Aug 4, 2017Updated 8 years ago
- Collection of scripts that shovel data into graphite.☆13Jan 20, 2022Updated 4 years ago
- Doom - reimplemented cleanly, in C++, without all the obscuring optimizations☆12Jan 9, 2015Updated 11 years ago
- A small script to check one or several URLs for broken links.☆11Sep 16, 2017Updated 8 years ago