VCFloat: A Unified Coq Framework for Verifying C Programs with Floating-Point Computations
Repository Index
47,133 repositories indexed
49–61 of 61 · Most stars
A tiny (<200 LOC) but highly customizable floating terminal manager.
- neovim-plugin
- lua
- neovim
- lazygit
Pascal library for arbitrary precision BCD floating point numbers
- pascal
- arbitrary-precision
- math
- bignumber
Arbitrary Precision Library for Delphi with Support for Integer and Floating Point Computations.
floating scrollbar plugin for neovim
Mini graphics libraries for love2d
Neovim plugin to search text in floating window asynchronously
⚡️ Warp is a lightweight project-local file list for Neovim — add, view, jump, reorder, and remove files, all from a floating window or a keymap away.
- harpoon
- harpoon-api
- neovim
- neovim-plugin
A floating-window terminal session manager, offering elegant multi-terminal organization, live previews, and intuitive navigation with modern UI design. Manage, switch, and customize multiple terminals effortlessly.
Effortlessly manage multiple floating terminal windows.
Floating window for Crypto curriency rates
A tiny easy math include addition multiplication subtraction division.
- math
- math-library
- mathematics
- true-math
The repository host gives no description.
- lecture
- floating-point
- coq-formalization
- ieee-754