xcthulhu/risk-free-lending-isabelle xcthulhu/risk-free-lending-isabelle

  • Stars
    star
    1
  • Language
  • Created over 2 years ago
  • Updated over 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
xcthulhu/risk-free-lending-isabelle
github

xcthulhu

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Formal verification of the safety of the risk-free lending protocol

More Repositories

1

coded_aperture_vhdl

vhdl code for simulating/synthesizing an FPGA backend of a coded aperture
VHDL
9
star
2

TumblrScraper

scrap images on tumblr with tags and notes
Python
4
star
3

EviL

MSc Thesis: Evidentialist Logic
Shell
4
star
4

flyspeck

Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)
OCaml
3
star
5

roland-mc

For Roland Vanderspek: A Monty Carlo calculation for the likelihood that a cosmic ray will hit a subarray on detector. Written in Mathematica and literate python; needs SciPy/NumPy and Pweave.
Python
3
star
6

flicker

Research into the diffusion model of 1/f noise
Python
2
star
7

Galaxy-Clusters

Detecting Galaxy Clusters from Archival XMM/Chandra Data
Python
2
star
8

armadeus

Fork of the armadeus toolchain
C
2
star
9

lambda-geda

Haskell modules for manipulating gEDA schematic files
Haskell
2
star
10

Int_Logic

An Isabelle/HOL theory of intuitionistic logic, employing combinators and a shallow embedding of the simply typed lambda calculus using Schรถnfinkel's scheme
2
star
11

periphondemand

Fork of "peripherals on demand" python based system for VHDL design
Python
2
star
12

chromatophore

Reusable components for reagent
Clojure
2
star
13

Cayley_Theorem

A proof of Cayley's embedding theorem from abstract algebra in Isabelle/HOL
2
star
14

CXBN

CXBN FPGA based Flight Software
VHDL
2
star
15

c-ethash

C
1
star
16

mspgcc4

Fork of MSPGCC4 - GCC 4.x toolchain for MSP430 MCU
1
star
17

GoldBug

A cryptographic library in Scala
Scala
1
star
18

CXRBNanoSat-Simulation-Environment

Simulator for the CXRBNanoSat attitude control system
C
1
star
19

DXRB

A systematic error calculation for a mission to measure the diffuse x-ray background throughout the universe
Fortran
1
star
20

Paper

1
star
21

MoreheadStateFITS

FITS processing data for Morehead State's 21 meter Radio Dish
Python
1
star
22

Russells_Awareness_Logic

A paper on awareness logics intended to model Russell's epistemology laid out in Chapter XIII of "The Problems of Philosophy" (1912).
1
star
23

fpe_tessting

Repository of scripts for testing the TESS FPE
Python
1
star
24

modules

A home for all blockchain and filesystem module wrappers, for use with epm and the decerver
Go
1
star
25

LCC

A PDL model checker implemented in Haskell
Haskell
1
star