Richard L Ford's repositories
tox
virtualenv management and test command line tool
markdeep
📝 Markdeep
sharpkeys
SharpKeys is a utility that manages a Registry key that allows Windows to remap one key to any other key.
hol-light
The HOL Light theorem prover (moved from Google code)
apt-cyg
Apt-cyg, an apt-get like tool for Cygwin
HM10-BluetoothSerial-iOS
An iOS 10 app to communicate with a HM10 Bluetooth module
CoqAST
Fun plugin to play with the Gallina AST.
mitls-fstar
TLS implemented in F*
llilc
This repo contains LLILC, an LLVM based compiler for .NET Core. It includes a set of cross-platform .NET code generation tools that enables compilation of MSIL byte code to LLVM supported platforms.
fsharp
The Open Edition of the F# compiler, core library and tools
calibre
The official source code repository for the calibre ebook manager
rlfenv
Environment Rich Ford shares between computers
Ironclad
The MSR Ironclad project builds provably secure and reliable systems.
vscode
Visual Studio Code
roslyn
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
llvm
Fork of the LLVM Compiler Infrastructure
boogie-partners
Repository containing the old boogie-partners repo
boogie
Boogie
angular.js
HTML enhanced for web apps
brackets
An open source code editor for the web, written in JavaScript, HTML and CSS.
mono
Mono open source ECMA CLI, C# and .NET implementation.
z3
The Z3 Theorem Prover
gnucash
Public Mirror of code.gnucash.org/gnucash
MuseScore
MuseScore is an open source and free music notation software. For support, contribution, bug reports, visit MuseScore.org. Fork and make pull requests!
gitdown
GitHub markdown preprocessor.
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.