GwenTinho

GwenTinho's Stars

• JuliaPoo/juliapoo.github.io

  Source code for my personal blogging site: https://juliapoo.github.io

  Language:Typst4

• rust-lang/rust-mode

  Emacs configuration for Rust

  Language:Emacs Lisp1.2k183

• jaykru/thesis

  my reed college thesis! the thesis develops functorial semantics a la Lawvere, and ultimately demonstrates a proof by Artin gluing of open normalization for the simply typed lambda calculus.

  Language:TeX31

• typst/typst

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

  Language:Rust38.6k1.1k

• LPCIC/coq-elpi

  Coq plugin embedding elpi

  Language:Coq16057

• fsieczkowski/System-T

  Formalisation of Goedel's System T in Coq

  Language:Coq152

• rocq-archive/lazy-pcf

  Subject Reduction for Lazy-PCF

  Language:Coq3

• andrejbauer/marshall

  Real number computation software

  Language:OCaml12314

• onimp/oni_multiplayer

  Oxygen Not Included multiplayer mod. Work in progress.

  Language:C#24525

• danbriggs/Turing

  Methods for accelerating and proving theorems about 5-state Busy Beaver candidates

  Language:Java201

• appliedfm/vstyle-tools

  A formatter/linter for Coq source

  Language:OCaml14

• YaccConstructor/YC_in_Coq

  Some parts of formal language theory in Coq

  Language:Coq23

• rocq-community/reglang

  Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]

  Language:Coq427

• uds-psl/base-library

  Language:Coq34

• rocq-archive/automata

  Beginning of formal language theory

  Language:Coq232

• coq/vscoq

  Visual Studio Code extension for Coq

  Language:OCaml37074

• rocq-community/coq-art

  Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

  Language:Coq11724

• janestreet/base

  Standard library for OCaml

  Language:OCaml893130

• GwenTinho/Math-Notes-Formalization

  A formalization of all my math notes into COQ

  Language:Makefile11

• ossu/computer-science

  🎓 Path to a free self-taught education in Computer Science!

  Language:HTML177k22.5k

• noti0na1/socc

  Simple C Compiler in OCaml

  Language:OCaml928

• akabe/slap

  BLAS and LAPACK binding in OCaml with type-based static size checking for matrix operations

  Language:OCaml884

• aplbrain/grandiso-networkx

  Performant, pure-Python subgraph isomorphism and monomorphism search (aka "motif search")

  Language:Python6010

• Mith13/Graphs-isomorphism

  Implementation of graph isomorphism search

  Language:C++21

• zajer/onauty

  OCaml bindings to nauty

  Language:OCaml1

• ocamllabs/vscode-ocaml-platform

  Visual Studio Code extension for OCaml

  Language:OCaml35478

• GwenTinho/topology-extended

  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

  1

• rocq-community/topology

  General topology in Coq [maintainers=@amiloradovsky,@Columbus240,@stop-cran]

  Language:Coq4711

• ontologyportal/sigmakee

  Sigma Knowledge Engineering Environment

  Language:Java10535

• GwenTinho/graph_logic

  Extension of a Graph creation and editing tool for the purpose of interacting with a given graph's modular decomposition to allow for the logical system

  Language:OCaml1