Binary floating-point formats in Go (IEEE 754 half and quadruple precision, x86 extended precision and PowerPC quadruple precision with double-double arithmetic).
☆23Dec 12, 2021Updated 4 years ago
Alternatives and similar repositories for float
Users that are interested in float are comparing it to the libraries listed below
Sorting:
- Liveness monitoring daemon for periodic jobs☆12Apr 13, 2024Updated last year
- ☆30Nov 21, 2018Updated 7 years ago
- Let's party like ethernet in 1999.☆19Sep 6, 2014Updated 11 years ago
- cross-editor syntax highlighter for Lua, showing some merit of Typed BNF: https://github.com/thautwarm/typed-bnf☆13Jan 19, 2022Updated 4 years ago
- A shell-based build tool.☆12Sep 22, 2017Updated 8 years ago
- Extremely experimental toy go compiler☆19Oct 18, 2020Updated 5 years ago
- Plutarch 2.0☆19Mar 31, 2025Updated 11 months ago
- Tape backup software optimized for large WORM data and long-term recoverability☆21Sep 11, 2022Updated 3 years ago
- Prometheus SNMP exporter generator & SNMP configs for UniFi access points☆23Jul 15, 2023Updated 2 years ago
- 一个为浪人新闻 @langxintv 开发的 Telegram 投稿机器人☆11Jun 3, 2025Updated 9 months ago
- Generate Go Plan9 assembly from C code☆40Jun 28, 2025Updated 8 months ago
- ☆11Oct 25, 2024Updated last year
- Watchdog allows to define custom hooks in YAML format. When attached to the official repository, some of these can serve as a way to enfo…☆12Mar 7, 2023Updated 2 years ago
- A tool for managing wireguard VPN keys.☆41Jun 16, 2020Updated 5 years ago
- Lean type-checker written in Scala.☆41Mar 13, 2022Updated 3 years ago
- Android TV automation framework via ADB command shell and python☆11Sep 30, 2018Updated 7 years ago
- A tool for tracing I/O activity at the file system level☆36Sep 24, 2015Updated 10 years ago
- load and unload kernel modules☆38Jan 13, 2025Updated last year
- high performance key value database written in Go. Deprecated. Use robaho/leveldb☆87Sep 13, 2022Updated 3 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- Venom extension for Visual Studio Code☆11Aug 21, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Tools for unpacking and repacking firmware images for the Insta360 X3☆11Sep 19, 2023Updated 2 years ago
- ☆17Nov 28, 2025Updated 3 months ago
- The Alcatel-Lucent Enterprise (ALE) Rainbow CLI application is an shell tool for connecting to Rainbow and doing administrative tasks.☆10Dec 10, 2022Updated 3 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Collated optimization models from numerous sources☆13Jun 18, 2023Updated 2 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Demo: https://diafygi.github.io/myLock/☆16Jul 28, 2014Updated 11 years ago
- Collects product data from bigbasket.com☆11Apr 8, 2017Updated 8 years ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A GitHub App that triggers Google Cloud Build builds when PRs are opened or updated☆11Nov 23, 2020Updated 5 years ago
- Network Management Information System☆27Jul 2, 2018Updated 7 years ago
- I Designed Government of India is the Sample Website By Using HTML, CSS JavaScript and Bootstrap. It is a simple Website it is having a a…☆10Dec 15, 2016Updated 9 years ago
- Mini Callcenter Simulator simulates a call center and takes into account many parameters not covered by the Erlang C formula.☆12Jan 23, 2026Updated last month
- ☆12Mar 13, 2025Updated 11 months ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- BGP implementation in Go☆40Apr 9, 2015Updated 10 years ago
- Extended attribute support for Go (linux + darwin + freebsd)☆194Jun 30, 2025Updated 8 months ago