GwenTinho

GwenTinho's Stars

• karpathy/llm.c

  LLM training in simple, raw C/CUDA

  Language:Cuda25k2521412.8k

• hackmdio/codimd

  CodiMD - Realtime collaborative markdown notes on all platforms.

  Language:JavaScript9.4k1611.1k1.1k

• LnL7/nix-darwin

  nix modules for darwin

  Language:Nix3.4k35594475

• radian-software/straight.el

  🍀 Next-generation, purely functional package manager for the Emacs hacker.

  Language:Emacs Lisp2.8k46839150

• rust-lang/rust-mode

  Emacs configuration for Rust

  Language:Emacs Lisp1.1k36269181

• jwiegley/category-theory

  An axiom-free formalization of category theory in Coq for personal study and practical work

  Language:Coq761201972

• MetaCoq/metacoq

  Metaprogramming, verified meta-theory and implementation of Coq in Coq

  Language:Coq4041715784

• the1lab/1lab

  A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory

  Language:Agda352127471

• LPCIC/elpi

  Embeddable Lambda Prolog Interpreter

  Language:Prolog2951212237

• mikeshulman/narya

  A proof assistant for higher-dimensional type theory

  Language:OCaml15619510

• amintimany/Categories

  A formalization of category theory in the Coq proof assistant.

  Language:Coq94614

• lorisdanto/symbolicautomata

  Library for symbolic automata and symbolic visibly pushdown automata

  Language:Java6510725

• steynvl/inferrer

  An automata learning library written in Python.

  Language:Python49135

• DavidJaz/DynamicalSystemsBook

  Language:TeX426313

• fblanqui/color

  Coq library on rewriting theory and termination

  Language:Coq3531121

• awalterschulze/regex-reexamined-coq

  Language:Coq217287

• uds-psl/autosubst2

  Official repository of the Autosubst 2 project.

  Language:Haskell17645

• mikeshulman/basictex

  My basic LaTeX macros and BibTeX file.

  Language:TeX13704

• herbelin/LMFI-HoTT

  Language:TeX7414

• bwerner/FormArith

  For MPRI's 2-7-1 course: attempt to "bootstrap" the course by formalizing FOL, Arithmetic, Cut elimination a.o. in Coq

  Language:Coq59

• JuliaPoo/juliapoo.github.io

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

  Language:Typst4311

• LearnLib/learnlib-ttt

  4801

• ellamorgan/evolving-automata

  Uses genetic programming to evolve finite automata given positive and negative examples of strings that do or do not match a target language.

  Language:Python3100

• basicpage/basicpage.github.io

  Template for a basic academic page

  Language:CSS2

• zetzschest/gkat-automata-learning

  Language:OCaml20

• gbdrt/mu-ppl

  A micro Python based probabilistic programming language

  Language:Jupyter Notebook1100

• HamelinDavid/emacs-coq

  Ready-to-use emacs setup for coq

  Language:Nix1

• mpri-probprog/probprog-24-25

  Language:Jupyter Notebook1

• mtrsk/emacs-latex-org-nix

  A template project with an environment for LaTeX + Nix + Org-mode

  Language:Nix120

• pi-base-topos/web

  Code powering the π-Base

  Language:TypeScript11