francoisthire

francoisthire's Stars

• mxgmn/WaveFunctionCollapse

  Bitmap & tilemap generation from a single example with the help of ideas from quantum mechanics

  Language:C#23.3k502501.2k

• radareorg/radare2

  UNIX-like reverse engineering framework and command-line toolset

  Language:C20.6k4878.5k3k

• tree-sitter/tree-sitter

  An incremental parsing system for programming tools

  Language:Rust18.4k1921.4k1.4k

• microsoft/language-server-protocol

  Defines a common protocol for language servers.

  Language:HTML11.2k2611.1k793

• minetest/minetest

  Minetest is an open source voxel game-creation platform with easy modding and game creation

  Language:C++10.7k3217.7k2k

• santinic/pampy

  Pampy: The Pattern Matching for Python you always dreamed of.

  Language:Python3.5k6333125

• algorithmica-org/algorithmica

  A computer science textbook

  Language:Jupyter Notebook3.4k6769322

• algorithm-archivists/algorithm-archive

  A collaborative book on algorithms

  Language:Python2.4k62137354

• islandoftex/arara

  arara is a TeX automation tool based on rules and directives. It gives you a way to enhance your TeX experience. This is a mirror repository.

  Language:Kotlin40123036

• SRI-CSL/yices2

  The Yices SMT Solver

  Language:SMT3702537847

• cedille/cedille

  Cedille, a dependently typed programming languages based on the Calculus of Dependent Lambda Eliminations

  Language:Agda3652411927

• mifunetoshiro/kanjium

  The ultimate kanji resource

  Language:Ruby278301232

• Deducteam/lambdapi

  Proof assistant based on the λΠ-calculus modulo rewriting

  Language:OCaml2701452835

• martinescardo/HoTT-UF-Agda-Lecture-Notes

  Lecture notes on univalent foundations of mathematics with Agda

  Language:Agda219161318

• Deducteam/Dedukti

  Implementation of the λΠ-calculus modulo rewriting

  Language:OCaml1991713921

• math-comp/mcb

  Mathematical Components (the Book)

  Language:TeX139168625

• johnyob/grace

  A fancy diagnostics library that allows your compilers to exit with grace

  Language:OCaml713142

• Deducteam/Logipedia

  An encyclopedia of proofs

  Language:OCaml57122011

• conao3/oj.el

  Competitive programming tools client for AtCoder, Codeforces

  Language:Emacs Lisp49494

• astump/cedille-core-spec

  Specification of the Cedille Core language

  Language:TeX29603

• astump/cedilleum-spec

  Specification of the Cedilleum language, a dependently typed language with pattern matching that compiles to Cedille Core

  Language:TeX26302

• jlink/shrinking-challenge

  Comparing shrinking approaches and performance across different PBT libraries

  Language:Java2581414

• yitzchak/dicy

  A builder for LaTeX, knitr, literate Agda, literate Haskell and Pweave that automatically builds dependencies.

  Language:TypeScript215292

• EUProofInfra/EUProofInfra

  European e-Infrastructure on Formal Proofs

  Language:TeX9703

• astump/cedille-core

  Language:Haskell8401

• theneurasthenicrat/whale4

  WHich ALternative is Elected, 4th version

  Language:HTML84133

• arobase-che/defis-zestuels

  Répot des Défis Zestuels

  Language:Python6456

• Deducteam/dkmeta

  A tool to rewrite Dedukti terms using rewrite rules

  Language:OCaml4301

• sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog

  An implementation in Lambda-Prolog of the Minimalist Type Theory

  Language:Prolog4493

• Deducteam/universo

  A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti

  Language:OCaml3211