grayswandyr
Follow
-
electrod Public
Formal analysis for the Electrod formal specification language
-
alloytools.github.io Public
Forked from AlloyTools/alloytools.github.ioWebsite for Alloytools
HTML MIT License UpdatedSep 5, 2024 -
lambda-n-ways Public
Forked from sweirich/lambda-n-waysBenchmarks for capture-avoiding substitution
HTML MIT License UpdatedOct 18, 2022 -
org.alloytools.alloy Public
Forked from AlloyTools/org.alloytools.alloyAlloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Java Other UpdatedNov 11, 2021 -
-
ocaml-effects-tutorial Public
Forked from ocaml-multicore/ocaml-effects-tutorialConcurrent Programming with Effect Handlers (CUFP'17)
OCaml MIT License UpdatedFeb 19, 2021 -
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for OPAM, the source package manager of OCaml.
-
ocaml-containers Public
Forked from c-cube/ocaml-containersA lightweight, modular standard library extension, string library, and interfaces to various libraries (unix, threads, etc.) BSD license.
OCaml BSD 2-Clause "Simplified" License UpdatedNov 10, 2020 -
alloydocs Public
Forked from hwayne/alloydocsProposed documentation for alloytools.org
Python MIT License UpdatedApr 18, 2020 -
-
ElectrumVisualizer Public
Forked from krab5/ElectrumVisualizerOUTDATED STUDENT PROJECT - Electrum fork containing a standalone version of its graph visualization component
Java UpdatedOct 24, 2018 -
dune Public
Forked from ocaml/duneA composable build system for OCaml
OCaml Apache License 2.0 UpdatedApr 3, 2018 -
shexp Public
Forked from janestreet/shexpProcess library and s-expression based shell
OCaml Apache License 2.0 UpdatedMar 31, 2018 -
electrumAnalyzer Public archive
Electrum Analyzer (MIRROR REPOSITORY ONLY) see
-
install-tl-ubuntu Public
Forked from scottkosty/install-tl-ubuntuInstall script for TeX Live on Ubuntu
Shell GNU General Public License v2.0 UpdatedJun 10, 2016 -
yasnippet Public
Forked from joaotavora/yasnippetA template system for Emacs
Emacs Lisp UpdatedApr 3, 2016 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
OCaml Other UpdatedNov 27, 2014 -
-
model-checking-ltl-and-ctl Public
Travaux réalisés au cours de mon stage d'un mois à l'ONERA DTIM/MAGS