-
opam-nix Public
Forked from tweag/opam-nixTurn opam-based OCaml projects into Nix derivations
Nix MIT License UpdatedMar 4, 2025 -
hm-login-shell-helper Public
Lets you configure your login shell using home-manager
Rust MIT License UpdatedNov 29, 2023 -
-
dolphin Public
Forked from dolphin-emu/dolphinDolphin is a GameCube / Wii emulator, allowing you to play games for these two platforms on PC with improvements.
C++ Other UpdatedJul 9, 2023 -
dune Public
Forked from ocaml/duneA composable build system for OCaml.
OCaml MIT License UpdatedApr 20, 2023 -
-
cti-documentation Public
Forked from oasis-open/cti-documentationOASIS TC Open Repository: GitHub Pages site for STIX and TAXII
SCSS BSD 3-Clause "New" or "Revised" License UpdatedNov 14, 2022 -
Nix, the purely functional package manager
C++ GNU Lesser General Public License v2.1 UpdatedNov 5, 2022 -
proof-demos Public
Forked from tlringer/proof-demosRepository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic
Coq UpdatedOct 28, 2022 -
antlr3 Public
Forked from antlr/antlr3antlr v3 repository (pulled from p4 with history from //depot/code/antlr/antlr3-main
Java UpdatedOct 25, 2022 -
nixpkgs Public
Forked from NixOS/nixpkgsNix Packages collection
Nix MIT License UpdatedOct 20, 2022 -
base Public
Forked from janestreet/baseStandard library for OCaml
OCaml MIT License UpdatedJun 8, 2022 -
-
opam Public
Forked from ocaml/opamopam is a source-based package manager. It supports multiple simultaneous compiler installations, flexible package constraints, and a Git-friendly development workflow.
OCaml Other UpdatedJun 18, 2021 -
st-ligatures Public
Forked from cog1to/st-ligaturesPatches for ST (suckless terminal) that add support for ligatures drawing
UpdatedApr 30, 2020 -
Amethyst Public
Forked from ianyh/AmethystAutomatic tiling window manager for macOS à la xmonad.
Swift MIT License UpdatedMar 24, 2020 -
graal Public
Forked from oracle/graalGraalVM: Run Programs Faster Anywhere 🚀
Java Other UpdatedJan 12, 2020 -
vscode-reasonml Public
Forked from reasonml-editor/vscode-reasonmlOCaml & Reason support for Visual Studio Code
TypeScript Apache License 2.0 UpdatedOct 21, 2019 -
discourse_docker Public
Forked from discourse/discourse_dockerA Docker image for Discourse
Shell MIT License UpdatedApr 25, 2019 -
odoc Public
Forked from ocaml/odocDocumentation compiler for OCaml and Reason
OCaml ISC License UpdatedApr 10, 2019 -
reveal.js Public
Forked from hakimel/reveal.jsThe HTML Presentation Framework
JavaScript MIT License UpdatedFeb 15, 2019 -
-
pharo Public
Forked from pharo-project/pharoThe Sources for Pharo
Smalltalk MIT License UpdatedJun 3, 2018 -
souffle Public
Forked from souffle-lang/souffleSoufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
C++ UpdatedJan 3, 2018 -
incubator-tinkerpop Public
Forked from apache/tinkerpopMirror of Apache TinkerPop (Incubating)
Java Apache License 2.0 UpdatedDec 8, 2016 -
-
tinkerpop3-before-apache Public
Forked from tinkerpop/tinkerpop3TinkerPop3: A Graph Computing Framework
Java Apache License 2.0 UpdatedJan 24, 2015 -
capnproto Public
Forked from capnproto/capnprotoCap'n Proto serialization/RPC system
C++ Other UpdatedJul 13, 2014 -
scala Public
Forked from scala/scalaMy fork of scala (includes the llvm backend)
-
wat-collection Public
Forked from puffnfresh/wat-collectionCollection of "wat" moments in various languages
Haskell UpdatedFeb 12, 2013
{{ message }}