richardlford Goto Github PK

angular.js

HTML enhanced for web apps

apt-cyg

Apt-cyg, an apt-get like tool for Cygwin

boogie

Boogie

boogie-partners

Repository containing the old boogie-partners repo

brackets

An open source code editor for the web, written in JavaScript, HTML and CSS.

build-path-prefix-map-spec

Clone from salsa repository

calibre

The official source code repository for the calibre ebook manager

capstone

Capstone disassembly/disassembler framework: Core (Arm, Arm64, BPF, EVM, M68K, M680X, MOS65xx, Mips, PPC, RISCV, Sparc, SystemZ, TMS320C64x, Web Assembly, X86, X86_64, XCore) + bindings.

chess

Exercise in implementing chess in HTML and Javascript/Typescript

coinduction

language-independent program verification by coinduction

configurator

Helper library for gathering system configuration

coq

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 development of machine-checked proofs.

coqast

Fun plugin to play with the Gallina AST.

dafny

Dafny is a verification-aware programming language

digsim

Formal methods experiments

dot-emacs-d

dsss17

Lecture material for DeepSpec Summer School 2017

dsss18

Lecture material for DeepSpec Summer School 2018

dune

A composable build system for OCaml.

fiat

Mostly Automated Synthesis of Correct-by-Construction Programs

form

The FORM project for symbolic manipulation of very big expressions

formal-tutorials

Holds example files illustrating formal methods

formalreview

Repository for review of formal methods

fsharp

The Open Edition of the F# compiler, core library and tools

fstar

Verification system for effectful programs

git

Git Source Code Mirror - This is a publish-only repository and all pull requests are ignored. Please follow Documentation/SubmittingPatches procedure for any of your improvements.

gitdown

GitHub markdown preprocessor.

gnucash

Public Mirror of code.gnucash.org/gnucash

gramps

Source code for Gramps Genealogical program

hm10-bluetoothserial-ios

An iOS 10 app to communicate with a HM10 Bluetooth module