gshen42

gshen42's Stars

• typst/typst

  A new markup-based typesetting system that is powerful and easy to learn.

  Language:Rust34.4k913

• ShapeOfMatter/MultiChor

  Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.

  Language:TeX7

• HuStmpHrrr/mech-type-theories

  Mechanizations of Type Theories

  Language:Agda271

• browserengineering/book

  Web browser engineering (a book)

  Language:JavaScript80166

• lsd-ucsc/csds

  Causal separation diagrams

  Language:Agda3

• haskell/cabal

  Official upstream development repository for Cabal and cabal-install

  Language:Haskell1.6k691

• zed-industries/zed

  Code at the speed of thought – Zed is a high-performance, multiplayer code editor from the creators of Atom and Tree-sitter.

  Language:Rust48.6k2.9k

• daviwil/emacs-from-scratch

  An example of a fully custom Emacs configuration developed live on YouTube!

  Language:Emacs Lisp1.8k306

• yallop/effects-bibliography

  A collaborative bibliography of work related to the theory and practice of computational effects

  95580

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.8k268

• railwaycat/homebrew-emacsmacport

  Emacs mac port formulae for the Homebrew package manager

  Language:Ruby1.7k126

• Munksgaard/session-types

  Language:Rust55221

• lsd-ucsc/ChoRus

  🎶 Choreographic programming in Rust 🎶

  Language:Rust392

• tonsky/FiraCode

  Free monospaced font with programming ligatures

  Language:Clojure77.1k3.1k

• dplyukhin/choreography-bibliography

  A bibliography of choreographic languages

  Language:TeX11

• system-fonts/modern-font-stacks

  System font stack CSS organized by typeface classification for every modern operating system

  Language:HTML2.8k40

• libsdl-org/SDL

  Simple Directmedia Layer

  Language:C9.8k1.8k

• wenkokke/schmitty

  Agda bindings to SMT-LIB2 compatible solvers.

  Language:Agda959

• agda/agda-stdlib

  The Agda standard library

  Language:Agda579237

• plfa/plfa.github.io

  An introduction to programming language theory in Agda

  Language:Agda1.4k311

• agda/agda

  Agda is a dependently typed programming language / interactive theorem prover.

  Language:Haskell2.5k349

• m13253/LaTeX-HDU-Bachelor-Thesis

  LaTeX template for bachelor thesis of Hangzhou Dianzi University 杭州电子科技大学本科毕业设计的 LaTeX 模板

  Language:TeX217