-
nuant
- France
Pinned Loading
-
souffle-lang/souffle
souffle-lang/souffle PublicSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
-
-
soulaklabs/bitoduc.fr
soulaklabs/bitoduc.fr PublicA website about french words for computer concepts.
-
107 contributions in the last year
Skip to contributions year listDay of Week | August Aug | September Sep | October Oct | November Nov | December Dec | January Jan | February Feb | March Mar | April Apr | May May | June Jun | July Jul | |||||||||||||||||||||||||||||||||||||||||
Sunday Sun | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Monday Mon | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Tuesday Tue | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Wednesday Wed | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Thursday Thu | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Friday Fri | |||||||||||||||||||||||||||||||||||||||||||||||||||||
Saturday Sat |
Less
No contributions.
Low contributions.
Medium-low contributions.
Medium-high contributions.
High contributions.
More
Contribution activity
July 2025
Created 2 commits in 1 repository
Created a pull request in bluealloy/revm that received 2 comments
docs: minor fixes
Hi, a few more fixes found as I browse the documentation.
+7
−7
lines changed
•
2
comments
Opened 1 other pull request in 1 repository
bluealloy/revm
1
merged
-
docs: fix typos
This contribution was made on Jul 25