XSnow

XSnow's Stars

• Genymobile/scrcpy

  Display and control your Android device

  Language:C115k1.3k5.1k11k

• elixir-lang/elixir

  Elixir is a dynamic, functional language for building scalable and maintainable applications

  Language:Elixir24.7k6765.5k3.4k

• casey/just

  🤖 Just a command runner

  Language:Rust23k791.1k502

• nusr/hacker-laws-zh

  💻📖对开发人员有用的定律、理论、原则和模式。(Laws, Theories, Principles and Patterns that developers will find useful.)

  12.5k361131k

• nathanlesage/academics-on-mastodon

  A list of various lists consisting of academics on Mastodon

  928241099

• nota-lang/nota

  A document language for the browser

  Language:TypeScript704191912

• sweirich/pi-forall

  A demo implementation of a simple dependently-typed language

  Language:Haskell57233589

• coq-community/coq-tricks

  Tricks you wish the Coq manual told you [maintainer=@tchajed]

  Language:Coq507251622

• LeNPaul/Millennial

  A minimalist Jekyll theme for running a blog or publication powered by Jekyll and GitHub Pages

  Language:SCSS449826930

• patdryburgh/hitchens

  An inarguably well-designed Jekyll theme.

  Language:SCSS362715462

• ott-lang/ott

  The Ott tool for writing definitions of programming languages and calculi

  Language:OCaml351155545

• HoerTech-gGmbH/openMHA

  The open Master Hearing Aid (openMHA)

  Language:C259345475

• manuel-serrano/hop

  Multitier JavaScript

  Language:Scheme145106118

• neel-krishnaswami/inverse-bidirectional-typechecking

  A Toy Inverse Bidirectional Typechecker

  Language:OCaml31201

• Blaisorblade/dot-iris

  Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

  Language:HTML305461

• HuStmpHrrr/mech-type-theories

  Mechanizations of Type Theories

  Language:Agda28121

• yzyzsun/CP-next

  The Next Generation of Compositional Programming

  Language:Coq23715

• jwiegley/coq-lattice

  A reflection-based proof tactic for lattices in Coq

  Language:Coq20312

• hkust-taco/superf

  Artifact for paper "When Subtyping Constraints Liberate: A Novel Type Inference Approach for First-Class Polymorphism" (https://popl24.sigplan.org/details/POPL-2024-popl-research-papers/50)

  Language:Scala14000

• cu1ch3n/menu

  🍔 Chen’s Private Cuisine Menu

  Language:Typst10100

• normanrink/TensorIR

  Formal development of a type-safe intermediate language for tensor expressions.

  Language:Coq8200

• cu1ch3n/karenda

  📅 A clean and elegant calender with date links

  Language:Typst7100

• cu1ch3n/nixbook

  ❄️ All Configurations for My Laptop

  Language:Nix70

• ZJU-PPL/lab-1

  Language:OCaml50

• chengluyu/typst-template

  Language:Typst420

• ia0/fcc

  Coq formalization of System Fcc (coercion framework)

  Language:Coq3302

• permui/nbe-for-stlc

  Practising Normalization by Evaluation on STLC.

  Language:OCaml3100

• jiangsy/NbE_SystemT

  Language:Agda2200

• juda/dissertation-artifacts

  The Coq proofs of my dissertation "Iso-Recursive Subtyping: New Theory and Extensions"

  Language:Coq2100

• mitre/copland

  Language:Coq1