Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for haskell symbolic
haskell
x
symbolic
x
24 search results found
Macaw
⭐
185
Open source binary analysis tools.
What4
⭐
143
Symbolic formula representation and solver interaction library
Classical Mechanics
⭐
82
Haskell toolbox for research and teaching in classical mechanics. Includes modules for symbolic algebra and automatic differentiation.
Hasksymb
⭐
63
An Experiment in Haskell Symbolic Algebra
Saw Core
⭐
51
The SAW core language.
Hashedexpression
⭐
41
Type-safe modelling DSL, symbolic transformation, and code generation for solving optimization problems.
Smcdel
⭐
35
A symbolic model checker for Dynamic Epistemic Logic.
Llvm Slicing
⭐
31
Symbolic Program Slicing with LLVM
Contracts
⭐
31
Symbolic financial contract EDSL
G2
⭐
27
Llvm Verifier
⭐
19
The LLVM Symbolic Simulator, part of SAW.
Symbolic Execution
⭐
19
Metamorph
⭐
14
Monomorphize polymorphic functions for testing
Pebble
⭐
11
A toy symbolic algebra / calculus library in Haskell
Symbolic Trace
⭐
11
Symbolic execution of LLVM IR traces for program understanding.
Picologic
⭐
11
Symbolic logic expressions
Symdiff
⭐
8
GPU-powered symbolic differentiation in haskell
Itea
⭐
8
Interaction-Transformation Evolutionary Algorithm
Power Series
⭐
8
stream processing library for formal power series and generating functions
Fei Nn
⭐
8
High level APIs for leaveraging neural networks with MXNet in Haskell
Algebra Elementary
⭐
7
An elementary algebra library written in Haskell.
Scriptanalyser
⭐
6
Symbolic verification of Bitcoin's output scripts
Brahket
⭐
6
A Haskell Module for Symbolic Manipulation of the Many-Fermionic Operators
Accelerate Symdiff
⭐
5
Symbolic differentiation for Haskell's Accelerate
Related Searches
Haskell Ghc (1,289)
Types Haskell (1,028)
Language Haskell (853)
Haskell Functional Programming (811)
Haskell Monad (681)
Haskell Hackage (574)
Haskell Stack (554)
Haskell Programming (549)
Python Symbolic (449)
Haskell Bindings (444)
1-24 of 24 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.