-
-
CompilerJobs Public
Forked from mgaudet/CompilerJobsA listing of compiler, language and runtime teams for people looking for jobs in this area
HTML UpdatedMay 22, 2025 -
-
-
ethereum-tests Public
Forked from ethereum/testsCommon tests for all Ethereum implementations
Python MIT License UpdatedOct 24, 2024 -
evmone Public
Forked from ipsilon/evmoneFast Ethereum Virtual Machine implementation
C++ Apache License 2.0 UpdatedSep 30, 2024 -
-
-
poetry2nix Public
Forked from nix-community/poetry2nixConvert poetry projects to nix automagically [maintainer=@adisbladis]
Nix MIT License UpdatedApr 17, 2024 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedMar 1, 2024 -
immer Public
Forked from runtimeverification/immerPostmodern immutable and persistent data structures for C++
C++ Boost Software License 1.0 UpdatedFeb 15, 2024 -
-
accsynt Public archive
Program synthesis tools and utilities for LLVM.
-
homebrew-cask Public
Forked from Homebrew/homebrew-cask🍻 A CLI workflow for the administration of macOS applications distributed as binaries
Ruby BSD 2-Clause "Simplified" License UpdatedApr 10, 2023 -
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at…
Other UpdatedMar 6, 2023 -
-
-
python-bpm Public
Forked from scaperot/the-BPM-detector-pythonBPM detection for audio files (currently just .wav). Takes in the whole file, and prints out the BPM.
Python UpdatedJan 6, 2023 -
install-nix-action Public
Forked from cachix/install-nix-actionInstalls Nix on GitHub Actions for the supported platforms: Linux and macOS.
Shell Apache License 2.0 UpdatedJul 5, 2022 -
-
notify Public
Wrapper script to notify when a long-running script finishes.
-
-
-
-
-
-
-
michelson-semantics Public
Forked from runtimeverification/michelson-semanticsA K semantics of Tezos' Michelson language.
Makefile Other UpdatedOct 25, 2021 -
wasm-semantics Public
Forked from runtimeverification/wasm-semanticsA Prototype Formal Semantics of WebAssembly in K
WebAssembly Other UpdatedOct 25, 2021 -
FileCheck.py Public
Forked from mull-project/FileCheck.pyAttempt to reimplement LLVM's FileCheck using Python.
Python Apache License 2.0 UpdatedOct 10, 2021
{{ message }}