Binary rational numbers in Coq [maintainer=@herbelin]
☆15Dec 30, 2023Updated 2 years ago
Alternatives and similar repositories for qarith-stern-brocot
Users that are interested in qarith-stern-brocot are comparing it to the libraries listed below
Sorting:
- Library of Intuitive Ordinal Notations (IONs)☆11May 8, 2020Updated 5 years ago
- ☆28Nov 20, 2025Updated 3 months ago
- This repository corresponds to the PICCO compiler for secure multi-party computation published in 2013 with more recent efficiency improv…☆12Updated this week
- Johann, the lightweight and flexible scenario orchestrator☆12Oct 3, 2022Updated 3 years ago
- Dashchan video player libraries☆11Nov 23, 2020Updated 5 years ago
- Library for exact real number computations☆41Apr 5, 2015Updated 10 years ago
- Number Geometry methods: Shortest Vector Problem and Shorter Basis Problem in Lattice (Hamming distance, Bounded distance decoding, bina…☆13May 19, 2023Updated 2 years ago
- PropForthV5.5 is Forth progamming environment for Parallax Propeller P8X32A microcontroller created by Sal Sanci☆11Aug 14, 2016Updated 9 years ago
- Alter Keyboard Layouts☆12Jan 4, 2021Updated 5 years ago
- ☆12Mar 26, 2024Updated last year
- Wikimedia Enterprise - client SDK in Python☆20Nov 11, 2025Updated 3 months ago
- Masked implementations of PQ schemes for the Cortex-M4.☆13Nov 18, 2025Updated 3 months ago
- Source code repository for Digital History Hacks☆23Jun 16, 2013Updated 12 years ago
- Higher-order Masking of AES-128 based on the Rivain and Prouff method, CPRR method and Common Shares with Random Reduction method.☆14May 13, 2017Updated 8 years ago
- addon for google chrome to facilitate the use of utf characters☆11Apr 11, 2025Updated 10 months ago
- My Emacs configuration☆13Jun 30, 2024Updated last year
- ☆16Oct 29, 2023Updated 2 years ago
- A next-gen, massively parallel, beta-optimal functional runtime.☆10Jan 3, 2022Updated 4 years ago
- Handle ASCII text with style and safety☆10Mar 23, 2025Updated 11 months ago
- A collection of resources related to mindfiles (digital representations of your mind)☆11Nov 11, 2019Updated 6 years ago
- A lispy language that compiles into JavaScript, strongly influenced by Arc.☆14Feb 18, 2011Updated 15 years ago
- CVS import of qemacs for some experiments☆11Oct 2, 2022Updated 3 years ago
- Resources to look at in concert with my Haskell videos☆15Aug 12, 2022Updated 3 years ago
- An implementation of Racket's Scribble in Clojure☆22Sep 20, 2013Updated 12 years ago
- How to embed emoji in any website☆12Nov 11, 2014Updated 11 years ago
- Implementation of Lenstra-Lenstra-Lovász lattice basis reduction algorithm in Rust☆14Feb 24, 2022Updated 4 years ago
- Beep the PC speaker☆11Nov 9, 2022Updated 3 years ago
- 2D chess pieces made by simple shapes, playable on http://lichess.org preview: https://youtu.be/NqBpmSVooks☆10Aug 29, 2015Updated 10 years ago
- A re-write of clojure-py using ClojureScript + Python ASTs☆26Jan 10, 2013Updated 13 years ago
- Notes on setting up systems within educational settings☆11Feb 11, 2026Updated 3 weeks ago
- Daily EDN exports of ClojureDocs's database.☆10Dec 14, 2024Updated last year
- My various command line scripts that I'm using on my Debian desktops and servers☆12Dec 15, 2025Updated 2 months ago
- A WIP compiler for a functional language. Very incomplete!☆16Nov 6, 2021Updated 4 years ago
- Toy Lisp to Python compiler☆10Jan 26, 2014Updated 12 years ago
- Semantic Scaffolds for Pseudocode-to-Code Generation (accepted by ACL 2020)☆14Jun 7, 2021Updated 4 years ago
- Learn to play guitar, bass, piano, synthesizer or drums using MIDI files.☆14Jun 23, 2022Updated 3 years ago
- "Be(Come) A Mentor! Help Others Succeed!" by @OssAnna16☆10Mar 20, 2020Updated 5 years ago
- Rust library for multi-file readahead / dropbehind☆14May 31, 2017Updated 8 years ago
- ☆11Feb 24, 2025Updated last year