Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for ocaml arithmetic
arithmetic
x
ocaml
x
12 search results found
Austral
⭐
946
Systems language with linear types and capability-based security.
Zarith
⭐
210
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
Menhir Example
⭐
44
This is OCaml code which uses the libraries menhir (http://cristal.inria.fr/~fpottier/menhir/) and the Batteries (http://batteries.forge.ocamlcore.org). After it is compiled, it can be used to parse a file which contains arithmetic expressions.
Num
⭐
37
The legacy Num library for arbitrary-precision integer and rational arithmetic that used to be part of the OCaml core distribution
Sworn
⭐
36
Sworn compiles Clarity smart contracts into SmartWeave contracts.
Lilis
⭐
15
L-system interpreter in OCaml
Ocaml Interval
⭐
14
An interval library for OCaml
Hardcaml_fixed_point
⭐
11
Hardcaml fixed point arithmetic
Zenon_modulo
⭐
10
First-order automated theorem prover based on the tableau method
Funarith
⭐
8
[wip] functorial library with classic algorithms for arithmetic
Ccss
⭐
7
CCSS is a preprocessor for CSS (Cascading Style Sheets), extending the language with arithmetic operations and variables
Srk
⭐
5
Symbolic Reasoning Kit
Related Searches
Ocaml Reasonml (475)
Bindings Ocaml (428)
Ocaml Reason (394)
Ocaml Bucklescript (320)
Types Ocaml (294)
Language Ocaml (289)
Python Arithmetic (254)
C Plus Plus Arithmetic (253)
Javascript Arithmetic (246)
C Ocaml (246)
1-12 of 12 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.