🌆
-
inside|app
- Montpellier - France
-
14:43
(UTC +02:00) - https://www.gregoryalary.dev
- in/gregoryalary
Block or Report
Block or report gregoryalary
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (1)
Sort Name ascending (A-Z)
Stars
Language: C++
All languages
C++
CSS
Dockerfile
Go
Groovy
HTML
Java
JavaScript
Kotlin
Less
PHP
Python
Reason
Ruby
Rust
SCSS
Shell
TypeScript
Nothing to show
Sort by: Most stars
2
stars
written in C++
Clear filter
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.