Web page to analyze IEEE-754 floating point values.
☆19Oct 25, 2024Updated last year
Alternatives and similar repositories for IEEE-754
Users that are interested in IEEE-754 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- A toy symbolic algebra / calculus library in Haskell☆12Oct 4, 2015Updated 11 years ago
- Type-level lenses using singletons because why not☆15Dec 19, 2018Updated 7 years ago
- Simple flat file CMS☆15May 23, 2021Updated 5 years ago
- Entity Component based Game Engine for XNA 4.0 (or FNA/MonoGame)☆14May 23, 2024Updated 2 years ago
- ☆10Nov 22, 2021Updated 4 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 Monero Forum Software☆17Oct 25, 2017Updated 8 years ago
- Solving the Cheryl's Birthday problem -- with Prolog!☆13Apr 17, 2015Updated 11 years ago
- A Z80 processor emulator written in c++☆13Feb 13, 2015Updated 11 years ago
- Eclipse plugin for debugging reactive programming☆21Oct 30, 2018Updated 7 years ago
- Dynamic Taint Analysis in JavaScript☆16Feb 24, 2011Updated 15 years ago
- Medic Package☆10Nov 8, 2015Updated 10 years ago
- Tool to transform an OWL ontology into an OpenAPI Specification☆17May 31, 2021Updated 5 years ago
- Yet Another SEquence Tagger☆10Dec 8, 2022Updated 3 years ago
- Flybytes is an intermediate language between JVM bytecode and software languages (DSLs, PLs), for compilation and decompilation.☆20Oct 5, 2026Updated last week
- 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.
- CLI client for EFA-based itinerary services☆21Sep 27, 2026Updated 2 weeks ago
- A multi-dimensional database navigator and editor☆19Jan 4, 2016Updated 10 years ago
- ☆11Apr 21, 2016Updated 10 years ago
- Personal opinions of Standards and Policies☆13Aug 22, 2021Updated 5 years ago
- generate ATS interface from C code☆20Dec 31, 2016Updated 9 years ago
- A categorical semantics library in Agda.☆16Dec 22, 2019Updated 6 years ago
- ☆21Mar 21, 2022Updated 4 years ago
- Automatic Telegram sticker uploader in Python3☆14Apr 25, 2021Updated 5 years ago
- Repository of the Crowdsourced Open Citations Index (CROCI)☆10Mar 19, 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.
- Creates a counting system of radixes such as base 12 or mixed radixes such as Minutes/Hours/Days/Years (60/60/24/365)☆13May 8, 2019Updated 7 years ago
- Coherence typechecker for Grothendieck/Maltsiniotis style infinity categories☆15Mar 26, 2017Updated 9 years ago
- A semantically unified SQL and NoSQL query and update system☆18Jan 20, 2019Updated 7 years ago
- SubML (prototype) language☆22Mar 20, 2022Updated 4 years ago
- Port of mox library to python 3☆14Jun 19, 2020Updated 6 years ago
- This repository contains Ontology Design Patterns, that are based on concepts taken from industrial standards.☆20Dec 17, 2021Updated 4 years ago
- An approach to higher algebra in type theory☆23May 12, 2020Updated 6 years ago
- ☆15Dec 3, 2013Updated 12 years ago
- https://code.google.com/p/graph-theory-algorithms-book/☆21Oct 29, 2015Updated 10 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Google scholar scraper written in Go☆17Nov 21, 2017Updated 8 years ago
- A simple recommendation engine (by way of convolutions and embeddings) written in TensorFlow☆19Jun 5, 2017Updated 9 years ago
- Efficient non-empty variants of containers data types, with full API☆28Sep 28, 2026Updated 2 weeks ago
- A visual think tool whose two panes are adequate to the two basic modes of brain operation☆20Aug 9, 2026Updated 2 months ago
- Pure Python 3 Wayland protocol implementation☆28May 24, 2020Updated 6 years ago
- Constant-Time WebAssembly☆25Oct 16, 2018Updated 7 years ago
- Stream editor adaptor for in-place editing☆47Jun 19, 2015Updated 11 years ago