rafoo Goto Github PK

ada-traits-containers

Generic Ada Library for Algorithms and Containers

adventofcode

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

camelide

An interpreter for Dedukti written in OCaml.

coq_obj

sigma calculus in Coq

dedukti

Implementation of the λΠ-calculus modulo rewriting

dedukti-inductive

Library for reflecting inductive types in Dedukti

dedukti-mode

Emacs major mode for Dedukti files

dklib

General purpose, hand-written, dedukti files

dkmeta

A tool to rewrite Dedukti terms using rewrite rules

emacs-xkcd

Read xkcd from Emacs

enhanced-ruby-mode

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

example_ynh

Example package for YunoHost applications.

flycheck

Modern on the fly syntax checking for GNU Emacs

flycheck-dedukti

Flycheck integration for the dedukti language

focalize

The FoCaLiZe development environment

fortfortfort

Appli photomaton

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.

kubatipo

Attempt to encode Cubical Type Theory in Dedukti

libraries

A collection of hand-written files for Dedukti

ligo-training

logitest

Testing tool for nunchaku and other logic-related programs

melpa

Scripts for building Emacs packages from Version Control

michelson-semantics

A K semantics of Tezos' Michelson language.

my-emacs-config

elisp configuration files

nunchaku

Model finder for higher-order logic

opam-coq-archive

Archive for all Coq related OPAM packages organized in various repositories

opam-repository

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

opensearch

OpenSearch search engine definitions for web browsers