rafoo

dklib

General purpose, hand-written, dedukti files

Dedukti

Implementation of the λΠ-calculus modulo rewriting

dedukti-mode

Emacs major mode for Dedukti files

flycheck-dedukti

Flycheck integration for the dedukti language

kubatipo

Attempt to encode Cubical Type Theory in Dedukti

opam-repository

Main public package repository for OPAM, the source package manager of OCaml.

adventofcode

My participation to Advent of Code 2017 (http://adventofcode.com/)

dkmeta

A tool to rewrite Dedukti terms using rewrite rules

enhanced-ruby-mode

An enhanced ruby-mode for Emacs that uses Ripper in ruby 1.9+ to highlight and indent the source code

focalize

The FoCaLiZe development environment

Holide

A translator from OpenTheory to Dedukti

inductor

Prototype implementation of a proof search algorithm for inductive predicate entailments.

j-mode

Emacs major mode for editing J code.

Libraries

A collection of hand-written files for Dedukti

ligo-training

michelson-semantics

A K semantics of Tezos' Michelson language.

my-emacs-config

elisp configuration files

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opensearch

OpenSearch search engine definitions for web browsers

OpenTezos

The complete encyclopedia of Tezos

ott

The Ott tool for writing definitions of programming languages and calculi

smart-contracts

A few smart contracts

smtcoq

Communication between Coq and SAT/SMT solvers

stan-mode

Emacs mode for Stan.

Sukerujo

Syntactic sugar for Dedukti

tezedge

Utility crates for interacting with tezos types (e.g. for Smart Rollup kernels)

tezos-developer-docs

Tezos Developer Docs (beta)

tezos-multisig-managed-onchain

A simple multisig with on-chain state management

verifast

Research prototype tool for modular formal verification of C and Java programs

yunohost

YunoHost is an operating system aiming to simplify as much as possible the administration of a server. This repository corresponds to the core code, written mostly in Python and Bash.