An incomplete arbitrary-precision integer arithmetic library
☆14Feb 24, 2022Updated 4 years ago
Alternatives and similar repositories for bignum
Users that are interested in bignum are comparing it to the libraries listed below
Sorting:
- 戰時網路模擬器☆16Nov 4, 2023Updated 2 years ago
- A hash chain has the potential to be a limited source of authentication☆15Feb 20, 2022Updated 4 years ago
- Homework submission for student☆12Jul 14, 2020Updated 5 years ago
- Introduction to deep learning using Flux.jl☆20Jun 16, 2020Updated 5 years ago
- A lightweight echo server implementation in Linux kernel mode☆32Jun 24, 2025Updated 8 months ago
- Effective System Call Aggregation☆39Nov 3, 2022Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- A portable, software-only OpenGL 1.1 rasterizer in C99☆97Dec 11, 2025Updated 2 months ago
- convert xls or csv to lua/json file with check and custom rule☆10Dec 20, 2016Updated 9 years ago
- ☆10May 2, 2023Updated 2 years ago
- ☆12Dec 30, 2020Updated 5 years ago
- 計算機結構 -- Nand2tetris Part I (金門大學 / 資訊工程系 106 上學期 )☆12Dec 21, 2017Updated 8 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- A risc-v simulator based on SystrmC☆14Jan 7, 2022Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- http://www.zhanluejia.net.cn website☆10Dec 14, 2020Updated 5 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- AIS3 2017 Binary Exploitation☆38Sep 3, 2017Updated 8 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Exploring Automatic Differentiation with Racket☆12Jan 9, 2022Updated 4 years ago
- This is an etcd lib for skynet, depth reference lua-resty-etcd(https://github.com/api7/lua-resty-etcd)☆11Jul 29, 2022Updated 3 years ago
- MHW Tool which is capable of en/decrypting save-, mib- & itlotfiles. Includes checksum fix for savefile.☆11Feb 12, 2024Updated 2 years ago
- My PoCs☆10Apr 5, 2020Updated 5 years ago
- 系統程式System Programming SIC組譯器實作範例☆14Jun 11, 2019Updated 6 years ago
- fcitx chewing wrapper☆10Nov 20, 2022Updated 3 years ago
- The Cambridge Haskell Supercompiler: an extension of "Supercompilation by Evaluation"☆23Mar 30, 2011Updated 14 years ago
- A GitHub Action for building and testing Racket packages☆12Jun 24, 2022Updated 3 years ago
- Because why wouldn't you want to typeset Coq in Scribble?☆10Oct 3, 2019Updated 6 years ago
- Import SRFI metadata into the Scheme API☆11Jan 19, 2026Updated last month
- vSphere metrics plugin for collectd☆11Feb 12, 2019Updated 7 years ago
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago
- An Ordinary Vue Boilerplate☆12Apr 17, 2017Updated 8 years ago
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- 😺 catmit — Let an AI kitty instantly craft Conventional Commits; no more stress over commit messages☆13Dec 25, 2025Updated 2 months ago
- A somewhat better Lua indent script for Vim☆12Mar 13, 2022Updated 3 years ago
- An efficient Python implementation in C#, running on every platform via Unity IL2CPP.☆44Aug 28, 2022Updated 3 years ago