-
-
polarity Public
Forked from polarity-lang/polarityA Language with Dependent Data and Codata Types
Rust Apache License 2.0 UpdatedOct 22, 2025 -
firrtl-spec Public
Forked from chipsalliance/firrtl-specThe specification for the FIRRTL language
TeX UpdatedAug 14, 2025 -
lean4 Public
Forked from leanprover/lean4Lean 4 programming language and theorem prover
Lean Apache License 2.0 UpdatedApr 22, 2025 -
chisel3 Public
Forked from chipsalliance/chiselChisel 3: A Modern Hardware Design Language
Scala Apache License 2.0 UpdatedNov 18, 2024 -
-
-
pprint Public
Forked from fpottier/pprintA pretty-printing combinator library for OCaml
OCaml Other UpdatedMar 7, 2022 -
shadowenv Public
Forked from Shopify/shadowenvreversible directory-local environment variable manipulations
Rust MIT License UpdatedFeb 17, 2022 -
-
makam Public
Forked from astampoulis/makamThe Makam Metalanguage
OCaml GNU General Public License v3.0 UpdatedJun 25, 2020 -
epigram2 Public
Forked from mietek/epigram2Mirror of Epigram 2, by Conor McBride, et al.
Haskell MIT License UpdatedJun 10, 2020 -
-
fipp Public
Forked from brandonbloom/fippFast Idiomatic Pretty Printer for Clojure
Clojure UpdatedMay 6, 2020 -
-
openj9-openjdk-jdk11 Public
Forked from ibmruntimes/openj9-openjdk-jdk11Extensions for OpenJDK 11 for Eclipse OpenJ9
Java GNU General Public License v2.0 UpdatedFeb 10, 2020 -
openj9-openjdk-jdk8 Public
Forked from ibmruntimes/openj9-openjdk-jdk8Extensions for OpenJDK8 for Eclipse OpenJ9
Java GNU General Public License v2.0 UpdatedFeb 10, 2020 -
openj9-openjdk-jdk Public
Forked from ibmruntimes/openj9-openjdk-jdkExtensions for OpenJDK for Eclipse OpenJ9
Java GNU General Public License v2.0 UpdatedFeb 10, 2020 -
-
-
git_template Public
Initial content copied into a git repository at initialization
Shell UpdatedSep 3, 2019 -
-
CMake Public
Forked from fjeremic/CMakeMirror of CMake upstream repository
C Other UpdatedJul 11, 2019 -
octarine Public
Forked from Octarine-OS/octarineC BSD 2-Clause "Simplified" License UpdatedJun 24, 2019 -
-
bramble Public
Forked from chameco/brambledependently-typed lisp with flexible compiler backends
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 24, 2019 -
-
-
-
{{ message }}