There are no reviews yet. Be the first to send feedback to the community and the maintainers!
coded_aperture_vhdl
vhdl code for simulating/synthesizing an FPGA backend of a coded apertureTumblrScraper
scrap images on tumblr with tags and notesEviL
MSc Thesis: Evidentialist Logicflyspeck
Clone of Thomas Hale's flyspeck project (a formal proof of the Kepler conjecture using HOL Light)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.flicker
Research into the diffusion model of 1/f noiseGalaxy-Clusters
Detecting Galaxy Clusters from Archival XMM/Chandra Dataarmadeus
Fork of the armadeus toolchainlambda-geda
Haskell modules for manipulating gEDA schematic filesInt_Logic
An Isabelle/HOL theory of intuitionistic logic, employing combinators and a shallow embedding of the simply typed lambda calculus using Schönfinkel's schemeperiphondemand
Fork of "peripherals on demand" python based system for VHDL designchromatophore
Reusable components for reagentCXBN
CXBN FPGA based Flight Softwarec-ethash
mspgcc4
Fork of MSPGCC4 - GCC 4.x toolchain for MSP430 MCUGoldBug
A cryptographic library in ScalaCXRBNanoSat-Simulation-Environment
Simulator for the CXRBNanoSat attitude control systemrisk-free-lending-isabelle
Formal verification of the safety of the risk-free lending protocolDXRB
A systematic error calculation for a mission to measure the diffuse x-ray background throughout the universePaper
MoreheadStateFITS
FITS processing data for Morehead State's 21 meter Radio DishRussells_Awareness_Logic
A paper on awareness logics intended to model Russell's epistemology laid out in Chapter XIII of "The Problems of Philosophy" (1912).fpe_tessting
Repository of scripts for testing the TESS FPEmodules
A home for all blockchain and filesystem module wrappers, for use with epm and the decerverLCC
A PDL model checker implemented in HaskellLove Open Source and this site? Check out how you can help us