dlesbre

dlesbre's Stars

• jlevy/the-art-of-command-line

  Master the command line, in one page

  154k2.8k25414.6k

• godotengine/godot

  Godot Engine – Multi-platform 2D and 3D game engine

  Language:C++92.3k1.5k54.1k21.4k

• starship/starship

  ☄🌌️ The minimal, blazing-fast, and infinitely customizable prompt for any shell!

  Language:Rust46.2k1872.3k2k

• typst/typst

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

  Language:Rust36.4k1022.8k981

• Lissy93/web-check

  🕵️‍♂️ All-in-one OSINT tool for analysing any website

  Language:TypeScript22.9k1371091.8k

• rsalmei/alive-progress

  A new kind of Progress Bar, with real-time throughput, ETA, and very cool animations!

  Language:Python5.6k49231211

• coq/coq

  Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

  Language:OCaml4.9k10410.1k658

• JabRef/jabref

  Graphical Java application for managing BibTeX and biblatex (.bib) databases

  Language:Java3.7k1124.4k2.6k

• mhutchie/vscode-git-graph

  View a Git Graph of your repository in Visual Studio Code, and easily perform Git actions from the graph.

  Language:TypeScript2k20813270

• zim-desktop-wiki/zim-desktop-wiki

  Main repository of the zim desktop wiki project

  Language:Python2k851.9k370

• AbsInt/CompCert

  The CompCert formally-verified C compiler

  Language:Coq1.9k63286231

• typeddjango/django-stubs

  PEP-484 stubs for Django

  Language:Python1.6k17755454

• ocaml-ppx/ppx_deriving

  Type-driven code generation for OCaml

  Language:OCaml4721914390

• KSP-RO/RP-1

  Realistic Progression One - Career mode for Realism Overhaul

  Language:C#35568890216

• ocamllabs/vscode-ocaml-platform

  Visual Studio Code extension for OCaml

  Language:OCaml3451734678

• coq-community/vscoq

  A Visual Studio Code extension for Coq [maintainers=@rtetley,@huynhtrankhanh,@thery,@Blaisorblade]

  Language:OCaml3341441768

• dbuenzli/cmdliner

  Declarative definition of command line interfaces for OCaml

  Language:OCaml2951315156

• TheOpenSpaceProgram/osp-magnum

  A spaceship game

  Language:C++225106934

• coq/platform

  Multi platform setup for Coq, Coq libraries and tools

  Language:Shell191820449

• Hanabi-Live/hanabi-live

  A web server that allows people to play Hanab, a cooperative card game of logic and reasoning.

  Language:TypeScript17962.2k119

• ejgallego/coq-lsp

  Visual Studio Code Extension and Language Server Protocol for Coq

  Language:OCaml154626135

• LexiFi/landmarks

  A Simple Profiling Library for OCaml

  Language:OCaml130142620

• dlesbre/bibtex-autocomplete

  Python package to autocomplete bibtex bibliographies

  Language:Python883186

• coq-community/coqdocjs

  Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]

  Language:JavaScript376617

• logsem/cerise

  Formalisation of a capability machine and principles for reasoning about security properties

  Language:Coq1813115

• marc-chevalier/ocolor

  Print with style in your terminal using Format's semantic tags

  Language:OCaml18313

• codex-semantics-library/codex

  The main codex repository

  Language:OCaml16100

• logsem/iris-lecture-notes

  Language:TeX134114