yiyuan-cao

yiyuan-cao's Stars

• tldraw/tldraw

  whiteboard / infinite canvas SDK

  Language:TypeScript35.9k1511.3k2.2k

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.3k2631.1k799

• aalhour/awesome-compilers

  :sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

  8.9k29629648

• eliben/pycparser

  :snake: Complete C99 parser in pure Python

  Language:Python3.3k93367611

• checkedc/checkedc

  Checked C is an extension to C that lets programmers write C code with bounds checking and improved type-safety. The goal is to let people easily make their existing C code type-safe and eliminate entire classes of errors.

  Language:C3.2k111175184

• MicrosoftDocs/cpp-docs

  C++ Documentation

  1.5k820946

• CS-BAOYAN/CSBasicKnowledge

  This repo will record some knowledge about computer science, artificial intelligence and EE

  6168547

• TrustInSoft/tis-interpreter

  An interpreter for finding subtle bugs in programs written in standard C

  Language:OCaml5683513928

• beejjorgensen/bgc

  Beej's Guide to C Programming source

  Language:C463216987

• acl2/acl2

  ACL2 System and Books as Maintained by the Community

  Language:Common Lisp36736487100

• tmattio/spin

  OCaml project generator.

  Language:OCaml295107715

• tree-sitter/tree-sitter-c

  C grammar for tree-sitter

  Language:JavaScript24318144106

• janestreet/patdiff

  File Diff using the Patience Diff algorithm. https://opensource.janestreet.com/patdiff/

  Language:OCaml22391720

• uds-se/debuggingbook

  Project page for "The Debugging Book"

  Language:Python2001321145

• OCamlPro/drom

  drom is a wrapper over opam/dune in an attempt to provide a cargo-like user experience. It can be used to create full OCaml projects with sphinx and odoc documentation. It has specific knowledge of Github and will generate files for Github Actions CI and Github pages.

  Language:OCaml184179221

• jozefg/higher-order-unification

  A small implementation of higher-order unification

  Language:Haskell1821315

• SRI-CSL/PVS

  The People's Verification System

  Language:Common Lisp139197032

• ejgallego/coq-serapi

  Coq Protocol Playground with Se(xp)rialization of Internal Structures.

  Language:Coq1281114939

• camlp5/camlp5

  Preprocessor / Pretty Printer for OCaml

  Language:OCaml7477226

• acsl-language/acsl

  Sources for the ANSI/ISO C Specification Language manual

  Language:PostScript5012528

• fpottier/pprint

  A pretty-printing combinator library for OCaml

  Language:OCaml473611

• slebok/slebok

  Software Language Engineering Body of Knowledge

  4628169

• ocaml-gospel/ortac

  Runtime assertion checking based on Gospel specifications

  Language:OCaml3857010

• uwplse/CoqAST

  Fun plugin to play with the Gallina AST.

  Language:OCaml381237

• Sophietje/Verification-Tool-Overview

  Information about verification tools. Browse the data at https://slebok.github.io/proverb/

  Language:Python23402

• hiroshi-unno/coar

  Collection of Automated Reasoners

  Language:OCaml19213

• jserv/Functional-Programming-in-C

  Functional Programming in C, because we can!

  Language:C14406

• coq-contribs/paradoxes

  Paradoxes in Set Theory and Type Theory

  Language:Coq11200

• andrejbauer/ppj-skripta

  Zapiski pri predmetu Principi programskih jezikov

  Language:OCaml7307

• rems-project/c-tree-carver

  Tree-carve C source tree given a root file/functions

  Language:C++3311