master-q Goto Github PK

ajhc

A fork of jhc.

arduino_using_c

ats-blockchain

⛓️ Blockchain + Smart contracts from scratch

ats-postiats

ATS2: Unleashing the Potentials of Types and Templates

ats-postiats-contrib

ATS-Postiats-contrib is primarily for packages contributed to ATS-Postiats

ats-postiats-ide

ATS/Postiats language binding for MonoDevelop

ats-postiats-test

This repository is primarily for testing ATS2 on various platforms

axshwikihoge

carettah

Carettah := Make your presentation more fun!

clutterhs

Clutter Haskell bindings

community-okabe2011

岡部さんの勉強会のためのファイル

community-starthaskell2011

スタートHaskell :: [初心者] → IO [経験者]

compare-vcc-verifast

coqtactic-injectfalse

Custom tactic named "ij_injectfalse" injects False into the hypothesis

cpubook-code

書籍「作ろう！CPU」のサンプルコード

cubemx2makefile

STM32CubeMX project to Makefile converter

cutter

An easy to write and debug unit testing framework for C and C++.

ddskk

Simple Kana to Kanji conversion program

dia-mirror

A mirror of Dia project for https://scan.coverity.com/projects/dia

diveintorts

docs

any docs

edboot

erlang-msgpack-example

fibfs

fib filesystem (joke fs)

flrc

Haskell Research Compiler

flrc-lib

Pillar compiler, Pillar runtime, garbage collector.

free-programming-books

fstar

An ML-like language with a type system for program verification

gcc4mbed

Project to allow GCC compilation of code using mbed SDK libraries.

gitit

A wiki using HAppS, pandoc, and git