dkxxxl Goto Github PK

beaglebone-ubuntu-scripts

Some scripts I use to maintain Ubuntu on the Beaglebone platform

best-resume-ever

:necktie: :briefcase: Build fast :rocket: and easy multiple beautiful resumes and create your best CV ever! Made with Vue and LESS.

c4

C in four functions

checkedc

Contributions to Microsoft's Checked C project developed by PLUMmers

chezscheme

Chez Scheme

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-art-exercises

Code Exercises from "Coq'Art", most covered.

coqart

coqfj

A mechanized proof of type safety for Featherweight Java using Coq

dimsum-learning

dkxxxl.github.io

Blog

emesch

Classic Scheme to C. An exercise in Haskell

eopl_pra

Practice and re-invention from "Essentials of Programming Languages".

fivesons_mirror

A trivial attempt to implement gobang on Altera DE2-115 board.

flrc

Haskell Research Compiler

fo-mkanren-to-lf

Defunctionalized miniKanren with Universal Quantifier and Implication. Preprint: https://www.cs.toronto.edu/~lczhang/jin_universal2021.pdf

fpop

Family Polymorphism for a proof assistant, an artifact. Paper : https://dl.acm.org/doi/10.1145/3591286

fullstacklearning

Full Stack Learning Experience

fusrp18-p6

gcc-arm-linux-gnueabihf-4.7

gcc-arm-linux-gnueabihf-4.7/

ghc

Mirror of ghc repository. DO NOT SUBMIT PULL REQUESTS HERE. Patches are best submitted to GHC's Phabricator (https://phabricator.haskell.org/), bugs and feature-requests are best filed to GHC's Trac (https://ghc.haskell.org/trac/ghc), or sent to the mailing list ([email protected])

ghcjs

Haskell to JavaScript compiler, based on GHC

haste-compiler

A GHC-based Haskell to JavaScript compiler.

icfp2017-papers

Link to preprints for ICFP'17 and colocated events

itp.js

A Theorem Prover. Thanks to "Type Theory and Formal Proof" and flow.js.

ixfree

j-bob

kjh-vita

A simple LaTeX template that I use for my Vita.

master-thesis

http://hdl.handle.net/10012/19531

metaocaml-bibliography

MetaML and MetaOCaml bibliography