zgrannan Goto Github PK

aeneas

A verification toolchain for Rust programs

agda

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

agda-stdlib

The Agda standard library

benchmarks

Tons of Inductive Problems: The Benchmarks

bootstrap-daterangepicker

Date range picker component for Bootstrap

charon

Interface with the rustc compiler for the purpose of program verification

cheatsheets

My cheatsheets

direnv

unclutter your .profile

equationalreasoninginliquidhaskell

Derivation of Optimized Definitions Based on Specs

eth-docker

Docker automation for Ethereum staking full nodes

fib

the fibonacci only you would give me

flex-error

gpt-2

Code for the paper "Language Models are Unsupervised Multitask Learners"

haddock

Haskell Documentation Tool

ibc-go

Interblockchain Communication Protocol (IBC) implementation in Golang.

ibc-rs

IBC Relayer (Hermes) and Modules in Rust

idris-dev

A Dependently Typed Functional Programming Language

ink

Parity's ink! to write smart contracts.

ink-examples

A set of examples for ink! smart contract language. Happy hacking!

langchainjs

🦜🔗 Build context-aware reasoning applications 🦜🔗

liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types

liquidhaskell

Liquid Types For Haskell

markdown-pp

Preprocessor for Markdown files to generate a table of contents and other documentation needs

nixpkgs

Nix Packages collection

notmuch-addrlookup-c

Address lookup tool for Notmuch in C using GLib and libnotmuch

openpgpjs

OpenPGP implementation for JavaScript

panorama-swap-ink-sc

The following repository is used to store all Panorama Swaps's smart contracts.

pcs

pgo

PGo is a source to source compiler from Modular PlusCal specs into Go programs.

plane-tracker

UAV Tracking Software for CSE 145 Project