-
rust-analyzer Public
Forked from rust-lang/rust-analyzerA Rust compiler front-end for IDEs
Rust Apache License 2.0 UpdatedAug 21, 2025 -
siderophile Public
Forked from trailofbits/siderophileFind the ideal fuzz targets in a Rust codebase
Rust MIT License UpdatedAug 20, 2025 -
CodeBoarding Public
Forked from CodeBoarding/CodeBoarding🪄 Interactive Diagrams for Code
Python MIT License UpdatedAug 16, 2025 -
rust-clippy Public
Forked from rust-lang/rust-clippyA bunch of lints to catch common mistakes and improve your Rust code. Book: https://doc.rust-lang.org/clippy/
Rust Other UpdatedAug 8, 2025 -
Modern-AI-Agents Public
Forked from PacktPublishing/Modern-AI-AgentsModern AI Agents
Jupyter Notebook MIT License UpdatedAug 6, 2025 -
-
smtlib-rs Public
Forked from oeb25/smtlib-rsA high-level API for interacting with SMT solvers.
Rust UpdatedJul 21, 2025 -
graphcodebert-feature-integration Public
Forked from jorge-martinez-gil/graphcodebert-feature-integrationImproving Source Code Similarity Detection with GraphCodeBERT and Additional Feature Integration
Python MIT License UpdatedJul 14, 2025 -
rsexp Public
Forked from LaurentMazare/rsexpS-expression parsing and writing in Rust
Rust Apache License 2.0 UpdatedJun 26, 2025 -
mercury Public
Forked from Mercury-Language/mercuryThe Mercury logic programming system.
Mercury Other UpdatedJun 22, 2025 -
Gillian Public
Forked from GillianPlatform/GillianThe Gillian Platform main repository
OCaml BSD 3-Clause "New" or "Revised" License UpdatedMay 28, 2025 -
FormalBench Public
Forked from thanhlecongg/FormalBenchEvaluating Program Reasoning of LLMs via Formal Specification Inference (ACL 2025)
Python Apache License 2.0 UpdatedMay 16, 2025 -
-
-
owi Public
Forked from OCamlPro/owiSymbolic execution for Wasm, C, C++, Rust and Zig
OCaml GNU Affero General Public License v3.0 UpdatedMay 2, 2025 -
The official mirror of the V8 Git repository
C++ Other UpdatedApr 3, 2025 -
SEAL Public
Forked from microsoft/SEALMicrosoft SEAL is an easy-to-use and powerful homomorphic encryption library.
C++ MIT License UpdatedApr 2, 2025 -
opengrep Public
Forked from opengrep/opengrep🔎 Static code analysis engine to find security issues in code.
OCaml GNU Lesser General Public License v2.1 UpdatedMar 27, 2025 -
idiomatic-rust-book Public
Forked from brndnmtthws/idiomatic-rust-bookSource code for Idiomatic Rust: Code like a Rustacean
Rust MIT License UpdatedJan 15, 2025 -
-
-
ocaml-utils Public
Some Ocaml Utilities for parsing various structs
OCaml MIT License UpdatedNov 23, 2024 -
tree-sitter-fortran Public
Forked from stadelmanma/tree-sitter-fortranFortran grammar for tree-sitter
-
ocaml-tree-sitter-core Public
Forked from semgrep/ocaml-tree-sitter-coreOCaml code generator and runtime library for handling typed tree-sitter CSTs
OCaml GNU Lesser General Public License v2.1 UpdatedNov 8, 2024 -
writing-a-c-compiler-tests Public
Forked from nlsandler/writing-a-c-compiler-testsTest cases for Writing a C Compiler
C Other UpdatedOct 30, 2024 -
infer Public
Forked from facebook/inferA static analyzer for Java, C, C++, and Objective-C
OCaml MIT License UpdatedOct 23, 2024 -
milewski-ctfp-pdf Public
Forked from hmemcpy/milewski-ctfp-pdfBartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
TeX Other UpdatedOct 20, 2024 -
generative-ai-explorations Public
Some exploring of generative ai techniques
-
simplecpp Public
Forked from danmar/simplecppC++ preprocessor
C BSD Zero Clause License UpdatedSep 9, 2024 -
nqcc2 Public
Forked from nlsandler/nqcc2Reference implementation for Writing a C Compiler
OCaml MIT License UpdatedAug 28, 2024
{{ message }}