A Factor port of QuickCheck unit test framework
☆14May 9, 2020Updated 6 years ago
Alternatives and similar repositories for factcheck
Users that are interested in factcheck are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- pry-bond provides input completion in pry through the `bond` rubygem☆12Nov 25, 2014Updated 11 years ago
- Small utilities and vocabularies implemented in the Factor programming language.☆151Oct 5, 2026Updated last week
- Gershwin programming language☆80Feb 13, 2014Updated 12 years ago
- An interpreter for the concatenative language Joy, written in Haskell using extensible-effects☆39Oct 25, 2024Updated last year
- HTML to Hamlet converter☆17Oct 1, 2019Updated 7 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- The Common Lisp Interface Manager☆25Nov 7, 2016Updated 9 years ago
- An interpreter for a minimal but Turing-complete stack based 'concatenative' language.☆19Feb 2, 2014Updated 12 years ago
- A little Forth-like language implemented in Clojure☆22Mar 27, 2020Updated 6 years ago
- Stuff related with piracy☆10Oct 7, 2020Updated 6 years ago
- Scala Exercises for the Scala Optics library Monocle http://julien-truffaut.github.io/Monocle/☆11Mar 31, 2023Updated 3 years ago
- A syntax checker for TOML files☆28Oct 29, 2019Updated 6 years ago
- Verification tools for HardCaml☆10Jun 13, 2018Updated 8 years ago
- abandoned, please check out https://github.com/jsoftware/jsource☆119Jan 20, 2016Updated 10 years ago
- A C implementation of the Shen programming language☆72Jan 8, 2022Updated 4 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- A disassembler framework☆20Sep 16, 2022Updated 4 years ago
- Define Grafana dashboards with ReasonML☆18Jan 31, 2020Updated 6 years ago
- A Tetris game written in Common Lisp☆17Sep 3, 2021Updated 5 years ago
- My working notes about Racket and Clojure equivalencies organized as a cheat sheet.☆27Oct 21, 2014Updated 11 years ago
- BLAKE2 - fast secure hashing - for Ruby☆28Oct 1, 2019Updated 7 years ago
- Small Scheme interpreter and compiler☆14Feb 15, 2016Updated 10 years ago
- ☆11Aug 8, 2026Updated 2 months ago
- Pawns functional/imperative programming language compiler etc☆11Apr 16, 2025Updated last year
- A visual programming environment.☆104Aug 31, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Make presentations for data types☆25Oct 21, 2021Updated 4 years ago
- Pack file encoder/decoder in OCaml☆12Jun 2, 2017Updated 9 years ago
- Microsite for the MirageOS hack retreats☆13May 10, 2026Updated 5 months ago
- Stack processing at your Vim command-line☆23Apr 11, 2014Updated 12 years ago
- ECL + IMGUI = IMCL☆18Apr 28, 2020Updated 6 years ago
- Dynamic binary instrumentation based crypto detection framework. Implementation of http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumbe…☆18Feb 22, 2013Updated 13 years ago
- write c++ like python☆12Sep 25, 2023Updated 3 years ago
- A Java implementation of the Shen programming language☆29May 13, 2019Updated 7 years ago
- Helpers for using topkg with jbuilder☆15Oct 12, 2017Updated 9 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Migrated to https://github.com/origamitower/folktale☆29Apr 5, 2014Updated 12 years ago
- simple parser combinators for Common Lisp☆25Sep 24, 2017Updated 9 years ago
- 🍏 This is my toy lisp implementation☆17Jul 5, 2026Updated 3 months ago
- Notes on P-omega☆14Jul 11, 2017Updated 9 years ago
- GameBoy emulator written in Nim☆16Dec 31, 2016Updated 9 years ago
- Indentation-based Racket Syntax -- MOVED TO: https://git.leastfixedpoint.com/tonyg/racket-something☆40Sep 2, 2021Updated 5 years ago
- Simple and high level interface to plugins for hotswapping haskell code.☆22Mar 3, 2014Updated 12 years ago