victoria-petite

Victoria Petite's repositories

Kami

Kami - a DSL for designing Hardware in Coq, and the associated semantics and theorems for proving its correctness. Kami is inspired by Bluespec. It is actually a complete rewrite of an older version from MIT

Language:CoqApache-2.01 10

agda

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

Language:HaskellNOASSERTION010

benchmarks

Some benchmarks of different languages

Language:C++MIT010

cats

Lightweight, modular, and extensible library for functional programming.

Language:ScalaNOASSERTION010

cluster-scheduler-simulator

Automatically exported from code.google.com/p/cluster-scheduler-simulator

Language:ScalaBSD-3-Clause020

common-words

visualization of common words in different programming languages

Language:JavaScriptMIT010

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLGPL-2.1010

ddc

The Disco Discus Compiler

Language:HaskellNOASSERTION010

dotty

Research compiler that will become Scala 3

Language:ScalaNOASSERTION010

FStar

Verification system for effectful programs

Language:F*Apache-2.0020

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION010

incubator-daffodil

Apache Daffodil (Incubating)

Language:ScalaApache-2.0010

kotlin-spark-demo

Kotlin / Spark Sample

Language:KotlinApache-2.0010

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

Language:C++010

metacoq

Metaprogramming in Coq

Language:CoqMIT020

oh-my-zsh

A delightful community-driven (with 1,300+ contributors) framework for managing your zsh configuration. Includes 200+ optional plugins (rails, git, OSX, hub, capistrano, brew, ant, php, python, etc), over 140 themes to spice up your morning, and an auto-update tool so that makes it easy to keep up with the latest updates from the community.

Language:ShellNOASSERTION010