jmw150 Goto Github PK

academicpages.github.io

Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes

agda

Agda is a dependently typed programming language / interactive theorem prover.

algebra

Just some modern algebra things

autodiff

automatic differentiation made easier for C++

braingan

A neural network GAN generator, optimized to generate images of brains

cat-dog-cnn-classifier

This classifier use Convolution Neural Network approch for kaggle problem to classify Cat vs Dog images.

cbmc

C Bounded Model Checker

cello

Higher level programming in C

certicoq

A Verified Compiler for Gallina, Written in Gallina

chezscheme

Chez Scheme

chungus-2-assembler

Assembler and example programs for the CHUNGUS 2 Minecraft CPU.

clasp

clasp Common Lisp environment

cocoalib

http://cocoa.dima.unige.it/cocoalib/

compcert

The CompCert formally-verified C compiler

complex-display-space

A python script to display function mappings on complex numbers

computational-science

numerical analysis algorithms

computercraft.code

code for a minecraft mod called computercraft

conics

An interactive conic visualization app used to record this video.

coq-vst-dlc

coq2rust

Coq to Rust program extraction. The whole tree is on the original Coq code base.

corn-coq

Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe]

d2l-en

Interactive deep learning book with multi-framework code, math, and discussions. Adopted at 300 universities from 55 countries including Stanford, MIT, Harvard, and Cambridge.

dafny

Dafny is a verification-aware programming language

dale

Lisp-flavoured C

debruijn-indices

Lambda Calculus Project

deepbugs-jr

A replication of DeepBugs

dnd-wizard

my dnd wizard Varis.

ec

fol_grammar

A program set to run tests on a first order language grammar

functional-algebra

This package provides a Coq formalization of abstract algebra using a functional programming style. The modules contained within the package span monoids, groups, rings, and fields and provides both axiom definitions for these structures and proofs of foundational results. The current package contains over 800 definitions and proofs.