Thanks to visit codestin.com
Credit goes to lib.rs

Lib.rs

› Keywords #programming-language #boolean-network #stack-trace #bdd #symboscript

#symbolic

  1. symbolic-demangle

    demangle symbols from various languages and compilers

    v12.17.1 1.9M #compiler #demangling-symbols #symbolic #swift #msvc #stack-trace

  2. biodivine-lib-bdd

    thread-safe implementation of basic binary decision diagrams

    v0.6.2 1.5K #boolean #symbolic #bdd #boolean-expression

  3. biodivine-lib-param-bn

    working with parametrized Boolean networks

    v0.7.2 650 #async #boolean-network #graph #systems-biology #symbolic

  4. biodivine-algo-bdd-scc

    BDD-based algorithms for symbolic SCC detection in Boolean networks

    v0.3.2 360 #scc #boolean-network #bdd #reachability #symbolic

  5. symbolic

    symbolicate and process stack traces from native applications, minidumps, Unreal Engine 4 or minified JavaScript

    v12.17.1 19K #stack-trace #unreal-engine #crash-reporting #native-applications #symbolication #javascript #source-map #debug-information #minified

  6. radius2

    a fast symbolic execution framework using r2

    v1.0.28 1.8K #symbolic-execution #execution #symbolic

  7. biodivine-hctl-model-checker

    symbolic HCTL model checking on partially defined Boolean networks

    v0.3.5 350 #model-checking #hctl #boolean-network #systems-biology #symbolic

  8. unfold-symlinks

    unfold is a small command line utility that replaces symbolic links with their targets

    v0.2.1 190 #symlink #link #symbolic

  9. zia

    Interpreter Library for the Zia Programming Language

    v0.6.0 #interpreter #programming-language #tacit #symbolic

  10. arc-agi

    submission

    v0.1.6 550 #agi #learning #symbolic

  11. sdm

    A lightweight command-line tool for managing dotfiles by creating and managing symbolic links from a configuration file

    v0.1.1 #dotfiles #config #link #symbolic #symlinks

  12. symbit

    Symbolic bitvector library with bitwise and integer arithmetic support

    v0.1.1 #integer-arithmetic #bit-vec #bit-manipulation #math #symbolic #evaluator #truncation

  13. abyss-lang

    AbySS: Advanced-scripting by Symbolic Syntax

    v0.3.1 #interpreter #grammar #syntax #diagnostics #symbolic #chumsky

  14. mathhook

    High-performance educational computer algebra system with ergonomic Rust macros

    v0.2.0 #calculus #education #algebra #symbolic #math #symbolic-calculus #symbolic-math

  15. owi

    Bindings to the C symbolic API of the owi bug finding tool

    v0.2.0 #bug-finding #bindings #symbolic #symbolic-execution

  16. symbolic-il2cpp

    parsing il2cpp line mappings

    v12.17.1 1.9K #il2cpp #line #symbolic #mapping #debugging #stack-trace #unity

  17. symboscript-formatter

    SymboScript formatter

    v0.6.16 160 #programming-language #symboscript #formatter #symbolic

  18. symboscript-lexer

    SymboScript lexer

    v0.8.4 280 #programming-language #lexer #symboscript #symbolic

  19. izia

    Interactive Shell for the Zia Programming Language

    v0.6.0 #programming-language #homoiconic #tacit #symbolic #interpreted

  20. symboscript-parser

    SymboScript parser

    v0.11.4 260 #programming-language #parser #symboscript #programming-language-parser #symbolic

  21. sylvan-sys

    Bindings for the Sylvan parallel decision diagrams library

    v1.1.0 #decision-diagram #bdd #parallel #symbolic

  22. simple_qp

    Allows formulating Quadratic Programming problems in a symbolic way

    v0.2.2 380 #solver #linear-programming #formulating #symbolic #osqp #coin #cbc

  23. symbolic_polynomials

    manipulation of polynomials over the integers

    v0.1.0 #polynomial #math #symbolic

  24. symboscript-optimizer

    SymboScript optimizer

    v0.7.21 210 #optimization #programming-language #symboscript #symbolic

  25. rtsam

    Real Time Smoothing and Mapping (RTSAM) in Rust

    v0.1.4 #real-time #smoothing #mapping #design #symbolic #gpu #lie-algebra

  26. wrenfold-traits

    Runtime traits for the wrenfold symbolic code-generation library

    v0.1.0 390 #computer-vision #codegen #robotics #symbolic-code-generation #symbolic

    27. Try searching with DuckDuckGo.

  27. demangle

    CLI tool for quickly demangling a symbol

    v0.1.2 #demangling-symbols #symbolic #language #clap #command-line-tool #swift-ui #obj-c

  28. noctua

    symbolic algebra library

    v0.1.0 #algebra #flat-deque #symbolic

  29. klee-rs

    A safe KLEE API for Rust

    v0.1.1 #symbolic-execution #api-bindings #symbolic #execution

  30. symboscript-interpreter

    SymboScript interpreter

    v0.17.1 160 #programming-language #interpreter #symboscript #symbolic

  31. symengine

    Unofficial Rust wrappers to the C++ library SymEngine, a fast C++ symbolic manipulation library

    v0.2.2 #wrapper #symbolic #serde

  32. symcode

    Symbolic Barcode - Programming Library

    v0.1.0 #computer-vision #symbolic #barcode

  33. air-sym

    Symbolic representation for the TNJ Assembly Intermediate Representation (AIR)

    v0.3.0 160 #assembly-intermediate-representation #symbolic #value #tnj

  34. linf

    Create symbolic link in file .symbolic_links

    v0.1.4 240 #symlink #config #symbolic

  35. reform

    A symbolic manipulation toolkit which aims to handle expressions with billions of terms, taking up terabytes of diskspace

    v0.1.0 #algebra #physics #symbolic #math #manipulation

  36. exsym

    Symbolic computing system for business

    v0.1.0 #system #system-for-business #computing #symbolic #image

  37. tml

    Creates symbolic links and parent directories if needed

    v0.2.0 #link #symlink #create #directory #symbolic

  38. hddb

    Vector Symbolic Database

    v0.2.0 #vector #symbolic #database #vector-database

  39. symengine-sys

    Unofficial Rust wrappers to the C++ library SymEngine, a fast C++ symbolic manipulation library

    v0.1.0+1 #wrapper #symbolic #serde

  40. lodge

    Automatable symbolic link manager

    v0.2.0 #symlink #link #manager #automatable #symbolic

  41. umfpack-rs

    Some UMFPACK bindings for rust

    v0.0.1 #bindings #suite-sparse #solve #numeric #symbolic #unsafe-bindings