bobatkey

bobatkey's Stars

• matijapretnar/eff

  A functional programming language based on algebraic effect handlers

  Language:OCaml862353941

• hermanhermitage/videocoreiv

  Tools and information for the Broadcom VideoCore IV (RaspberryPi)

  Language:Python82414315106

• yallop/ocaml-ctypes

  Library for binding to C libraries using pure OCaml

  Language:OCaml3722632395

• links-lang/links

  Links: Linking Theory to Practice for the Web

  Language:OCaml3291958942

• simhu/cubical

  Implementation of Univalence in Cubical Sets

  Language:Haskell14422410

• slindley/effect-handlers

  Language:Haskell811909

• vehicle-lang/vehicle

  A toolkit for enforcing logical specifications on neural networks

  Language:Haskell8093657

• colder/phantm

  Static analysis using data-flow and type inference for PHP applications - Implemented in Scala

  Language:Java7671011

• sebfisch/haskell-regexp

  Regular Expression Matching in Haskell

  Language:Haskell344205

• bobatkey/foveran

  A Dependently Typed Programming Language

  Language:Haskell27501

• bobatkey/system-f-parametricity-model

  A Model of Relationally Parametric System F in Coq

  Language:Coq22413

• robsimmons/functioning

  Functioning: A Game Framework based on SDL for Standard ML

  Language:Standard ML20702

• colder/insane

  Interprocedural Static Analysis Engine for Scala

  Language:Scala19424

• bacam/coqjvm

  Coq executable semantics and resource verifier

  Language:Coq14301

• bobatkey/algebraically-indexed-types

  Repository for documents and experiments to do with algebraically-indexed types

  Language:TeX13402

• bobatkey/Forvie

  Some Programming Language Description and Processing Tools in Haskell

  Language:Haskell650

• bobatkey/coqjvm

  Coq executable semantics and resource verifier

  Language:Coq240

• bobatkey/parser-combinators-intro

  Slides for an introductory talk on Parser Combinators

  Language:Haskell2