Pinned Repositories
agda
Agda is a dependently typed programming language / interactive theorem prover.
benchmarks
Some benchmarks of different languages
cats
Lightweight, modular, and extensible library for functional programming.
cluster-scheduler-simulator
Automatically exported from code.google.com/p/cluster-scheduler-simulator
common-words
visualization of common words in different programming languages
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.
coq-sequent-calculus
Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic
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
victoria-petite's Repositories
victoria-petite/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
victoria-petite/agda
Agda is a dependently typed programming language / interactive theorem prover.
victoria-petite/benchmarks
Some benchmarks of different languages
victoria-petite/cats
Lightweight, modular, and extensible library for functional programming.
victoria-petite/cluster-scheduler-simulator
Automatically exported from code.google.com/p/cluster-scheduler-simulator
victoria-petite/common-words
visualization of common words in different programming languages
victoria-petite/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.
victoria-petite/ddc
The Disco Discus Compiler
victoria-petite/dotty
Research compiler that will become Scala 3
victoria-petite/FStar
Verification system for effectful programs
victoria-petite/Idris-dev
A Dependently Typed Functional Programming Language
victoria-petite/incubator-daffodil
Apache Daffodil (Incubating)
victoria-petite/kotlin-spark-demo
Kotlin / Spark Sample
victoria-petite/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.
victoria-petite/metacoq
Metaprogramming in Coq
victoria-petite/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.
victoria-petite/parquet-mr
Apache Parquet
victoria-petite/sbt-dependency-graph
sbt plugin to create a dependency graph for your project
victoria-petite/scala-native
Your favorite language gets closer to bare metal.
victoria-petite/scalafix
Refactoring and linting tool for Scala
victoria-petite/scalameta
Library to read, analyze, transform and generate Scala programs
victoria-petite/scalaz
Principled Functional Programming in Scala
victoria-petite/shapeless
Generic programming for Scala
victoria-petite/SMAPI
The modding API for Stardew Valley.
victoria-petite/smtcoq
Communication between Coq and SAT/SMT solvers
victoria-petite/spark
Apache Spark
victoria-petite/util
Wonderful reusable code from Twitter
victoria-petite/vigil
Vigil, the eternal morally vigilant programming language
victoria-petite/vimrc
The ultimate Vim configuration: vimrc
victoria-petite/WhileyCompiler
The Whiley Compiler (WyC)