Skip to content
@Symbolica

Symbolica

Symbolic execution as a service. Find bugs faster by exploring every reachable state of your program.

Pinned Loading

  1. Symbolica Symbolica Public

    Symbolica's open-source symbolic execution engine.

    C# 65 6

  2. Symbolica.Extensions.Configuration.FSharp Symbolica.Extensions.Configuration.FSharp Public

    Provides a safe API for binding the dotnet IConfiguration to types in F#.

    F# 34 2

Repositories

Showing 7 of 7 repositories
  • Symbolica.Z3 Public
    Symbolica/Symbolica.Z3’s past year of commit activity
    0 0 0 1 Updated Sep 3, 2024
  • Symbolica Public

    Symbolica's open-source symbolic execution engine.

    Symbolica/Symbolica’s past year of commit activity
    C# 65 MIT 6 1 7 Updated Sep 3, 2024
  • Symbolica.Extensions.Configuration.FSharp Public

    Provides a safe API for binding the dotnet IConfiguration to types in F#.

    Symbolica/Symbolica.Extensions.Configuration.FSharp’s past year of commit activity
    F# 34 MIT 2 0 1 Updated Sep 3, 2024
  • iob-cache Public
    Symbolica/iob-cache’s past year of commit activity
    Verilog 0 MIT 2 0 1 Updated May 4, 2022
  • Symbolica.LLVMSharp Public
    Symbolica/Symbolica.LLVMSharp’s past year of commit activity
    0 0 0 0 Updated Jan 29, 2022
  • octokit.net Public Forked from octokit/octokit.net

    A GitHub API client library for .NET

    Symbolica/octokit.net’s past year of commit activity
    C# 0 MIT 1,185 0 0 Updated Sep 13, 2021
  • actions Public

    GitHub actions that allow you to run Symbolica on your code as part of a workflow on GitHub.

    Symbolica/actions’s past year of commit activity
    0 MIT 0 0 0 Updated May 21, 2021

Top languages

C# Verilog F#

Most used topics

Loading…