jgrosso
Follow
-
cmu-PAM Public
Forked from cmuparlay/PAMParallel Balanced Binary Tree Structures
C++ Other UpdatedDec 17, 2024 -
coq-alpha-pearl Public
Coq formalization of "Functional Pearls: α-conversion is easy" (Altenkirch, 2002).
-
causality Public
An Agda formalization of material related to causal graphs (as defined by Judea Pearl et al.).
Agda UpdatedJan 30, 2024 -
ps-tanks Public
Experimental clone of the time-honored Tanks game, in PureScript.
PureScript UpdatedOct 30, 2023 -
plfa-solutions Public
Forked from plfa/plfa.github.ioMy personal solutions and experiments for /Programming Language Foundations in Agda/.
Agda Creative Commons Attribution 4.0 International UpdatedOct 30, 2023 -
-
agda-stdlib Public
Forked from agda/agda-stdlibThe Agda standard library
Agda Other UpdatedNov 14, 2022 -
polysemy Public
Forked from polysemy-research/polysemy♊ higher-order, no-boilerplate monads
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 25, 2022 -
-
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
OCaml GNU Lesser General Public License v2.1 UpdatedOct 8, 2021 -
deriving Public
Forked from arthuraa/derivingClass instances for Coq inductive types with little boilerplate
Coq MIT License UpdatedMar 9, 2021 -
brittany Public
Forked from lspitzner/brittanyhaskell source code formatter
Haskell GNU Affero General Public License v3.0 UpdatedMay 5, 2020 -
hackett Public
Forked from lexi-lambda/hackettWIP implementation of a Haskell-like Lisp in Racket
Racket ISC License UpdatedApr 27, 2020 -
-
-
dummy-repo-123 Public
Forked from cbargren/dummy-repo-123Empty Repository for various Git testing purposes
-
monty-hall Public
Exploration of the Monty Hall Problem.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 20, 2018 -
selenium-3.x.x-docs Public
Forked from SeleniumHQ/seleniumA browser automation framework and ecosystem.
Java Apache License 2.0 UpdatedJul 18, 2018 -
-
hs-editor Public
Haskell text editor
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 10, 2018 -
-
-
-
-
-
-
-
-
derivative-parsing Public
Derivative regex parser
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 17, 2017 -
nodegit Public
Forked from Axosoft/nodegitNative Node bindings to Git.
JavaScript MIT License UpdatedMay 9, 2017