-
06:37
(UTC +08:00)
Lists (1)
Sort Name ascending (A-Z)
- All languages
- C
- C#
- C++
- CSS
- Clojure
- CodeQL
- Coq
- Cuda
- D
- Emacs Lisp
- F#
- Fortran
- Go
- HTML
- Haskell
- Java
- JavaScript
- Jupyter Notebook
- LLVM
- Lean
- Less
- Lua
- MATLAB
- Makefile
- Markdown
- Mojo
- OCaml
- PHP
- Python
- Rich Text Format
- Rocq Prover
- Ruby
- Rust
- Scala
- Scheme
- Shell
- Starlark
- Swift
- TLA
- TeX
- Tree-sitter Query
- TypeScript
- Vim Script
- Vue
- WebAssembly
Starred repositories
Tun2socks (Linux/An 10000 droid/BSD/macOS/iOS/WSL2) (IPv4/IPv6/TCP/UDP)
A platform for building proxies to bypass network restrictions.
Qlib is an AI-oriented Quant investment platform that aims to use AI tech to empower Quant Research, from exploring ideas to implementing productions. Qlib supports diverse ML modeling paradigms, i…
Lean4-Framework to reason about multithreaded algorithms
A library for efficient similarity search and clustering of dense vectors.
A light-weight UITextView subclass that adds support for placeholder.
Develop Swift/iOS projects using VSCode
A SwiftUI library that adds powerful scroll features to all Apple platforms.
A curated list of awesome iOS ecosystem, including Objective-C and Swift Projects
A SwiftUI card view, made great for setup interactions.
Multi-language quickstart demo for Coze OAuth
A set of beautifully-designed, accessible components and a code distribution platform. Works with your favorite frameworks. Open Source. Open Code.
High-performance automatic differentiation of LLVM and MLIR.
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
Program logic for developing and verifying distributed systems
Visual Studio Code extension for the Lean 4 proof assistant
Formalization of Mathematical Logic
These are Lean translations of Ninety-Nine Haskell Problems (WIP)
⚡A CLI tool for code structural search, lint and rewriting. Written in Rust