Symbolica

All

7 repositories

Symbolica.Z3
Public
0•0•0•1•Updated Sep 3, 2024Sep 3, 2024
Symbolica
Public
Symbolica's open-source symbolic execution engine.
testing verification symbolic-execution
testing verification symbolic-execution symbolic symbolic-computation testing-tool
C#
•
MIT License
•6•65•1•7•Updated Sep 3, 2024Sep 3, 2024
Symbolica.Extensions.Configuration.FSharp
Public
Provides a safe API for binding the dotnet IConfiguration to types in F#.
fsharp dotnet configuration
fsharp dotnet configuration typesafe bind
F#
•
MIT License
•2•34•0•1•Updated Sep 3, 2024Sep 3, 2024
iob-cache
Public
Verilog
•
MIT License
•2•0•0•1•Updated May 4, 2022May 4, 2022
Symbolica.LLVMSharp
Public
0•0•0•0•Updated Jan 29, 2022Jan 29, 2022
octokit.net
Public
A GitHub API client library for .NET
C#
•
MIT License
•1.1k•0•0•0•Updated Sep 13, 2021Sep 13, 2021
actions
Public
GitHub actions that allow you to run Symbolica on your code as part of a workflow on GitHub.
github actions github-action
github actions github-action
MIT License
•0•0•0•0•Updated May 21, 2021May 21, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.