Topic: formalization Goto Github
Some thing interesting about formalization
Some thing interesting about formalization
formalization,Mechanized formalization of Implicit resolution in Agda
User: ajrouvoet
formalization,Two-Level Type Theory
User: annenkov
formalization,🧊 An indexed construction of semi-simplicial and semi-cubical types
User: artagnon
Home Page: https://artagnon.github.io/bonak
formalization,Complexity analysis, type safety, soundness, etc.
User: benhuds
formalization,Material created during the Iannis Xenakis workgroup
User: capital-g
Home Page: https://capital-g.github.io/xenakis-workgroup/
formalization,formalized googology in agda
User: choukh
formalization,veblen function in agda
User: choukh
formalization,first-order logic and set theory
User: choukh
formalization,Cut elimination for the logic of Bunched Implications (BI), and some extensions.
User: co-dan
formalization,Coq formalization of the Habanero programming model.
User: cogumbreiro
Home Page: https://github.com/cogumbreiro/habanero-coq
formalization,An introductory course to Homotopy Type Theory
User: egbertrijke
formalization,Linear algebra formalization in Agda
User: felko
formalization,Deciding Presburger arithmetic in agda
User: gallais
formalization,A formalization of geometry in Coq based on Tarski's axiom system
Organization: geocoq
formalization,The Agda mechanization of a gradual security-typed programming language with general mutable references.
Organization: gradual-typing
Home Page: https://homes.luddy.indiana.edu/chen512/lambdaifcstar-html/
formalization,
Organization: harp-project
formalization,Formalization of some elementary mathematical theories in Coq
User: ivashkev
formalization,Calculating the Risk of Valve Failures when Maintaining Water Supply Networks
User: jeffreybakker
Home Page: http://essay.utwente.nl/87350/
formalization,Čech cohomology on topological space
User: jjaassoonn
formalization,Equivalent definitions of flatness
User: jjaassoonn
formalization,Agda formalization of the paper, "Higher-Order Functions and Brouwer's Thesis". Deduces a Brouwer ordinal from a function ((nat -> nat) -> nat) in System T.
User: jonsterling
Home Page: http://jonsterling.github.io/agda-effectful-forcing/
formalization,
User: jonsterling
formalization,Automatically push changes to selected repositories - 0% tested yet 100% correct.
User: kiranandcode
formalization,LeanEuclid is a benchmark for autoformalization in the domain of Euclidean geometry, targeting the proof assistant Lean.
User: loganrjmurphy
Home Page: http://arxiv.org/abs/2405.17216
formalization,Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.
User: lolirofle
formalization,Formalized laws for mtl
User: lysxia
formalization,Formalization of the polymorphic lambda calculus and its parametricity theorem
User: lysxia
formalization,some sorting algorithms' formalisation
User: marco10507
formalization,GitHub repository for the seminar on Computer-assisted mathematics held at the University of Heidelberg during the Summer Semester of 2024.
User: matematiflo
Home Page: https://matematiflo.github.io/SoSe_2024/CompAssistedMath2024.html
formalization,A Coq formalisation of the R programming language
User: mbodin
formalization,The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
User: mgree
Home Page: http://shell.cs.pomona.edu
formalization,Formal Verification of Telegram's MTProto 2.0
User: miculan
formalization,A formalization of SRPs and Control Plane Compression in Coq.
User: nickgian
formalization,Formalization of Robin Milner's bigraphs in Isabelle/HOL
User: pilif0
formalization,A mechanized proof of soundness of calculus defined in A Theory of Quoted Code Patterns which is a formalization of pattern matching on code available in Scala 3 as part of its new macro system.
User: radeusgd
formalization,Formalization of Wigderson's graph coloring algorithm in Coq
User: siraben
formalization,LaTeX sources for my undergraduate thesis
User: siraben
formalization,tribAin - ontology for scientific experiments in the domain of tribology
User: snow0815
formalization,Formalization of Categories with Families
User: superhands
formalization,Formalization of termination of Gödel's System T
User: tchajed
formalization,Formalising Type Theory in a modular way for translations between type theories
User: theowinterhalter
formalization,Solving the mini Rubik (2x2) in Coq
User: thery
formalization,Formalisation of Selinger proof about quantum gate
User: thery
formalization,The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
Organization: ualib
Home Page: https://ualib.gitlab.io
formalization,Certified implementation of a parametrized framework for concurrent garbage collectors
Organization: ucl-pplv
formalization,Official repository of the Autosubst 2 project.
Organization: uds-psl
formalization,MMT plugin for Visual Studio Code
Organization: uniformal
Home Page: https://uniformal.github.io
formalization,more than just a package manager
User: vitalsong
formalization,A random collection of Agda facts around the Theory of Group Actions
User: zampino
formalization,An ACL2 formalization of the Ethereum VM, aiming to be both executable and suitable for proving interesting properties of EVM contracts.
User: zchn
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.