euisuny

euisuny's Stars

• typst/typst

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

  Language:Rust39k1073.1k1.1k

• waydabber/BetterDisplay

  Unlock your displays on your Mac! Flexible HiDPI scaling, XDR/HDR extra brightness, virtual screens, DDC control, extra dimming, PIP/streaming, EDID override and lots more!

  23.7k712.5k409

• Droogans/unmaintainable-code

  A more maintainable, easier to share version of the infamous http://mindprod.com/jgloss/unmain.html

  10.1k20510355

• BrunoLevy/learn-fpga

  Learning FPGA, yosys, nextpnr, and RISC-V

  Language:C++2.7k8877256

• yhzhang0128/egos-2000

  Envision a future where every student can read all the code of a teaching operating system.

  Language:C2.3k3215162

• egraphs-good/egg

  egg is a flexible, high-performance e-graph library

  Language:Rust1.5k23143153

• MLton/mlton

  The MLton repository

  Language:Standard ML1k50184128

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean407129458

• stedolan/malfunction

  Malfunctional Programming

  Language:OCaml346253220

• paurkedal/ocaml-caqti

  Cooperative-threaded access to relational data

  Language:OCaml318108139

• uds-psl/coq-library-undecidability

  A library of mechanised undecidability proofs in the Coq proof assistant.

  Language:Coq11563030

• akissinger/chyp

  An interactive theorem prover for string diagrams

  Language:Python112625

• yallop/ocaml-flap

  A deterministic parser with fused lexing

  Language:OCaml72201

• janestreet/memtrace

  Streaming client for OCaml's Memprof

  Language:OCaml6712615

• coq-contribs/coq-in-coq

  A formalisation of the Calculus of Constructions

  Language:Coq661307

• backtracking/ocaml-hashcons

  OCaml hash-consing library

  Language:OCaml516512

• pamellies/models-of-programming-languages

  Slides and handwritten notes on the course on models of programming languages

  51100

• RedPRL/algaeff

  🦠 Reusable components based on algebraic effects

  Language:OCaml493111

• tomdjong/MGS-domain-theory

  Lecture notes and exercises for the introductory course on domain theory and denotational semantics at the Midlands Graduate School (MGS) 2023

  Language:TeX44305

• coq-community/parseque

  Total Parser Combinators in Coq [maintainer=@womeier]

  Language:Coq43496

• LinusCDE/doomarkable

  DOOM on the reMarkable

  Language:Rust42241

• coq-community/graph-theory

  Graph Theory [maintainers=@chdoc,@damien-pous]

  Language:Coq36944

• AndrasKovacs/antifunext

  antifunext

  Language:Agda31212

• janestreet/memtrace_viewer

  Interactive memory profiler based on Memtrace

  Language:OCaml2910133

• Lysxia/gradual-eff-paper

  Language:TeX17201

• Lysxia/bluefin-algae

  Algebraic effects in the Bluefin effect system

  Language:Haskell1610

• sweirich/lambda-calculus

  Denotational Semantics of the Untyped Lambda Calculus

  Language:Coq16204

• coq-community/notation-gallery

  Examples showing best practices for using Coq notations and custom entries [maintainer=@bcpierce00]

  Language:Coq9401

• TheoWinterhalter/coq-partialfun

  Dependent composable partial functions for free in Coq

  Language:Coq6202

• arthuraa/finprob

  Finite probability theory in Coq

  Language:Coq5201