• Stars
    star
    2
  • Language
  • Created almost 14 years ago
  • Updated almost 14 years ago

Reviews

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

Repository Details

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

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

CXBN

CXBN FPGA based Flight Software
VHDL
2
star
14

c-ethash

C
1
star
15

mspgcc4

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

GoldBug

A cryptographic library in Scala
Scala
1
star
17

CXRBNanoSat-Simulation-Environment

Simulator for the CXRBNanoSat attitude control system
C
1
star
18

risk-free-lending-isabelle

Formal verification of the safety of the risk-free lending protocol
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