zhengyao-lin Goto Github PK

foci-server

fol-synthesis

Tools related to formula/structure synthesis in FOL and modal logic

friday

A club presentation based on impress.js

github-markdown-css

The minimal amount of CSS to replicate the GitHub Markdown style

gitignore

A collection of useful .gitignore templates

gittar

A toy git implementation

go-ethereum

Official Go implementation of the Ethereum protocol

grub2-themes

Modern Design theme for Grub2

gt-node-sdk

GtWeb Node SDK

haskell-prac

haskell practice code for problems on Codewars

haskemlia

Kademlia implementation in Haskell

hive

Hive LAN chatting software.

illinois-cs241.github.io

CS 241 course website

imp-haskell

an interpreter of imp for performance comparison with k

ink

a simple imperative language

ink-on-ev3dev

Basic interfaces for LEGO EV3

ink-unit-test

Unit Test for ink

ivm

vm for a dynamically typed language

ivory

a language based on Diksam

k

K Framework Tools 5.0

k-llvm-backend-perf

Performance comparison for kevm with other evm implementations

k0

Slim builds of the K framework: https://github.com/kframework/k. Docker Hub: https://hub.docker.com/r/zl38/k0

kore

The symbolic execution engine powering the K Framework

kore2mm

reducing kore to functional matching logic formulated in metamath. Now moved to https://github.com/kframework/matching-logic-proof-checker

language-clac

Clac language support in Atom

largeword

Provides Word128, Word192 and Word256 for and a way of producing other large words if required.

letsencrypt-formula

Saltstack formula for letsencrypt service

lfs-docker

Build LFS 11.1-systemd using Docker (x86_64 and aarch64 supported)

log31

loopr

a simple, sluggish virtual machine