-
devenv Public
Forked from cachix/devenvFast, Declarative, Reproducible, and Composable Developer Environments using Nix
Rust Apache License 2.0 UpdatedMar 8, 2026 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection & NixOS
Nix MIT License UpdatedFeb 23, 2026 -
-
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedDec 10, 2025 -
tal Public
Forked from sweirich/talAn implementation of Typed Assembly Language (Morrisett, Walker, Crary, Glew)
Haskell MIT License UpdatedNov 6, 2025 -
-
-
llm-comparative-analysis Public
Forked from isaacharlem/llm-comparative-analysisThis project provides a web application to compare responses from multiple Large Language Models (LLMs) side by side, with automated analysis. It generates a comprehensive HTML report containing th…
Python BSD 3-Clause "New" or "Revised" License UpdatedMar 3, 2025 -
SQIR Public
Forked from inQWIRE/SQIRA Small Quantum Intermediate Representation
-
-
-
-
-
LeanDojoChatGPT Public
Forked from lean-dojo/LeanDojoChatGPTChatGPT plugin for theorem proving in Lean
Python MIT License UpdatedJan 5, 2024 -
-
-
-
-
-
-
putshebang Public
A small tool that helps in adding the appropriate shebang
-
-
-
-
-
-
-
thestemgazette Public
The source code and content of the new STEM Gazette
-
-
{{ message }}