Diderot-Language / examples
Examples of using Diderot
☆11Updated 5 years ago
Related projects: ⓘ
- The Diderot language compiler☆15Updated last year
- Sigmoid Numbers backed by IEEE Floats☆16Updated 7 years ago
- Universal Number Library☆40Updated 6 years ago
- A collection of demonstration languages in Lua/Terra suitable for learning or for forking when creating a new language☆10Updated 9 years ago
- MinCaml Compiler implementation by Haskell☆11Updated 12 years ago
- Julia Implementation of Unums☆42Updated 7 years ago
- ☆39Updated 8 years ago
- RLIBM-ALL: A correctly rounded math library and a polynomial generator that produces correct results for multiple floating point represen…☆13Updated 11 months ago
- Recursive LAPACK Collection☆42Updated 2 years ago
- ☆22Updated 10 years ago
- An updated version of Sun Microsystems' Fortress programming language that runs in Java 9+.☆14Updated 2 years ago
- knot theory and computational algebra software☆33Updated 10 years ago
- ☆19Updated 7 years ago
- GluCat: Clifford algebra templates☆19Updated last month
- Rust binding of fortran Limited memory LBFGS subroutine☆14Updated 5 years ago
- a fork of clang with Sierra patches☆20Updated 6 years ago
- RLibm for 32-bit representations (float and posit32)☆61Updated 3 years ago
- This github repository hosts the code used within my thesis work and my last publication.☆12Updated 7 years ago
- Project ARES represents a joint effort between LANL and ORNL to introduce a common compiler representation and tool-chain for HPC applica…☆10Updated 7 years ago
- An LLVM interface for Lean 4. (WIP)☆14Updated last year
- Arpra is a C library for analyzing the propagation of numerical error in arbitrary precision IEEE-754 floating-point computations.☆23Updated last year
- Examples of Automatic Differentiation (AD) in many different languages and systems☆26Updated 6 years ago
- A Literate Programming Tool inspired by NoWeb, implemented in OCaml☆34Updated 5 years ago
- The Cubicle model checker☆14Updated 6 months ago
- Modeling and Programming with Gecode☆44Updated last year
- Graph Intermediate Representation☆10Updated 7 years ago
- Regionalized Value State Dependence Graph written in Rust☆9Updated 4 years ago
- A C-family AST implementation designed to be an IR for DSL compilers.☆16Updated 7 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Stochastic Logic Programs (SLP) style probabilistic logic programming in miniKanren☆32Updated 11 years ago