-
embassy Public
Forked from embassy-rs/embassyModern embedded framework, using Rust and async.
Rust Apache License 2.0 UpdatedJan 30, 2024 -
splitwise-to-ynab Public
Forked from judytrinh/splitwise-to-ynabPersonal importer of Splitwise transactions to YNAB
Python MIT License UpdatedOct 23, 2023 -
mech-bun Public
A automatic solver for Paquerette Down the Bunburrows
Rust GNU General Public License v3.0 UpdatedOct 16, 2023 -
-
epd-waveshare Public
Forked from caemor/epd-waveshareDrivers for various EPDs from Waveshare
Rust ISC License UpdatedMay 1, 2023 -
splitwise-rs Public
Forked from pbar1/splitwise-rsSplitwise SDK for Rust
Rust Apache License 2.0 UpdatedJan 26, 2023 -
coq-library-undecidability Public
Forked from uds-psl/coq-library-undecidabilityA library of formalised undecidable problems in Coq
-
A Visual Studio Code extension for Coq [maintainer=@maximedenes]
TypeScript MIT License UpdatedMar 10, 2022 -
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml GNU Lesser General Public License v2.1 UpdatedOct 26, 2021 -
deckbox-scryfall-prices Public
Greasemonkey script to see Magic: the gathering card prices fetched via scryfall, e.g. cardmarket, on deckbox.org
1 UpdatedAug 25, 2021 -
ocaml.org Public
Forked from ocaml/v2.ocaml.orgImplementation of the ocaml.org website.
HTML Other UpdatedJul 25, 2021 -
Overmind Public
Forked from bencbartlett/OvermindAI for Screeps, a multiplayer programming strategy game
TypeScript MIT License UpdatedJun 15, 2021 -
smpl Public
Forked from sigurdschneider/smplA Coq plugin providing an extensible tactic similar to first.
OCaml MIT License UpdatedJun 14, 2021 -
metacoq Public
Forked from MetaCoq/metacoqReflection library for Coq
Coq MIT License UpdatedDec 4, 2020 -
opam-coq-archive Public
Forked from coq/opamArchive for all Coq related OPAM packages organized in various repositories
JavaScript GNU Lesser General Public License v2.1 UpdatedDec 3, 2020 -
Nary-Demo Public
Demo of the definitions and tactics to convert between curried and uncurried functions. The concepts are taken from the coq-bigO library by Armaël Guéneau.
Coq GNU Lesser General Public License v3.0 UpdatedMar 18, 2020 -
-
aac-tactics Public
Forked from coq-community/aac-tacticsThis Coq plugin provides tactics for rewriting universally quantified equations, modulo associative (and possibly commutative) operators.
OCaml Other UpdatedApr 1, 2019 -
coqdocjs Public
Forked from coq-community/coqdocjsJavaScript BSD 2-Clause "Simplified" License UpdatedApr 1, 2019 -
coq-bigO Public
not my work, but a fork of https://gitlab.inria.fr/agueneau/coq-bigO/
-
coq-procrastination Public
Forked from Armael/coq-procrastinationA small Coq library for collecting side conditions and deferring their proof
TeX GNU Lesser General Public License v3.0 UpdatedJul 25, 2018 -
WSL-DistroLauncher-ArchLinux Public
Forked from microsoft/WSL-DistroLauncherSample/reference launcher app for WSL distro Microsoft Store packages.
C++ MIT License UpdatedApr 6, 2018 -
-
Screeps-Typescript-Declarations Public
Forked from screepers/Screeps-Typescript-DeclarationsThe repository for *Screeps's* TypeScript type definitions.
TypeScript UpdatedAug 14, 2017 -
-
FiVES-Nao-Visualisation Public archive
JavaScript GNU Lesser General Public License v3.0 UpdatedSep 1, 2015
{{ message }}