yanok Goto Github PK

agda

Agda is a dependently typed programming language / interactive theorem prover. Bug tracker: https://code.google.com/p/agda/issues/list

agda-avl

agda-tactics

Reflective proof tactics and metaprogramming for Agda.

agda-zrh

Merged repo from CS410-18 and CS410-17 + some more stuff

alias-tips

An oh-my-zsh plugin to help remembering those aliases you defined once

camkes-tool

The main CAmkES tool

cmake

Mirror of CMake upstream repository

code_builder

A fluent API for generating valid Dart source code

cpython

cs410-17

being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

dotfiles

My dotfiles.

emacs-kicker

A minimal kick start init file for emacs

emacs-literal-config

My emacs configuration as literal code using org-mode's org-babel

engine

The Flutter engine

gatsby-startbootstrap-agency

Gatsby version of startbootstrap-agency with i18n supported

gatsby-starter-netlify-cms

ghc-mod

Happy Haskell programming for editors

git-mediate

Become a conflict resolution hero

greenery

FSM/regex conversion library

grift

Galois RISC-V ISA Formal Tools

haskell-hedgehog

Hedgehog will eat all your bugs.

i3-cinnamon

Use i3 with Cinnamon Session integration.

idris-dev

A Dependently Typed Functional Programming Language

illumos-gate

Community developed and maintained version of the OS/Net consolidation

js-state-starter

l4v

seL4 specification and proofs

lang-experiments

linux

Mirror of Linus Torvald's Kernel Tree

llvm-hs-typed

Type Safe LLVM IR ( Experimental )

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.