huynhtrankhanh

Huỳnh Trần Khanh's starred repositories

cli

GitHub’s official command line tool

Language:GoMIT3719500

certigrad

Bug-free machine learning on stochastic computation graphs

Language:LeanApache-2.038700

z3

The Z3 Theorem Prover

Language:C++NOASSERTION1032600

formalising-mathematics

Lean 3 material for Kevin Buzzard's 2021 TCC courrse on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024

Language:LeanApache-2.030200

lean4

Lean 4 programming language and theorem prover

Language:LeanApache-2.0465900

binport

A tool for building Lean4 .olean files from Lean3 export data

Language:LeanApache-2.01000

koka

Koka language compiler and interpreter

Language:HaskellNOASSERTION330300

cpbook-code

CP4 Free Source Code Project (C++17, Java11, Python3 and OCaml)

Language:Java203900

MessengerUWP

A Facebook Messenger UWP app adapted for Windows 10 PCs, tablets and phones

Language:C#GPL-3.03500

mm0

Metamath Zero specification language

Language:RustCC0-1.031500

rust-cascade

A filter cascade implementation in rust

Language:RustMPL-2.01200

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

Language:CNOASSERTION6690600