301 Open source projects that are alternatives of or similar to Dot

Verified Software Toolchain

Coq plugin for parametricity [[email protected]]

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

Formal proof of the Four Color Theorem

IO for Gallina

Bidirectional programming in Haskell with monadic profunctors

Coq encoding of ZFC and formalization of the textbook Elements of Set Theory

Interactive Coq Proofs in Vim

Elegant minimalistic implementation of OOP with mixins + AOP in JavaScript for node.js and browsers.

WENO interpolation Object Oriented Fortran library

A Coq library for reasoning (co)inductively on infinite sequences using LTL-like modal operators

The mathematical study of type theories, in univalent foundations

True Object-Oriented Telegram Bot Framework

Verified vector clocks, with Coq!

ro.py is a modern, asynchronous Python 3 wrapper for the Roblox API.

Mostly Automated Synthesis of Correct-by-Construction Programs

A simple Python library to provide an API to implement the Reactive Object Pattern (ROP).

sn76489an compatible Verilog core, with emphasis on FPGA implementation and Megadrive/Master System compatibility

Formal verification of OCaml programs

Most simplest design pattern implementation in PHP, including all 23 GoF patterns plus some other patterns

Finite sets, finite maps, multisets and generic sets

Xcode File Template to generate theme manager for Swift 3+

Micro framework for PHP that emphasises minimalism and simplicity

The Language for Smart Legal Contracts

Ltac2 tutorial

Coq executable semantics and resource verifier

Simple examples of Design Patterns with PHP Examples

Object-oriented java Excel library

Implementation of books from Bourbaki's Elements of Mathematics in Coq [maintainer=@thery]

Solutions to the exercises from the 'Software Foundations' book by Benjamin Pierce et al.

Learn OOP JavaScript ⚡

Python Object Oriented Html Templating System

MIT IT Lab Repository

Combinatorial species in HoTT

Automation for de Bruijn syntax and substitution in Coq [maintainers=@RalfJung,@co-dan]

Formalising Type Theory in a modular way for translations between type theories

Transporter is a futuristic way to send API requests in PHP. This is an OOP approach to handling API requests.

CoqPIE (an IDE for the Coq theorem prover + PEDANTIC)

2D solver for Euler equations in quadrilateral grid, using kinetic flux vector splitting scheme, written in OOP F2003

Starter package for working with the WordPress REST API in an object-oriented fashion.

A framework for implementing and certifying impure computations in Coq

The OOP Developer's best friend for working with objects in WordPress

Complete Documentation For JavaScript Bootcamp Course By Osama Elzero.

A Verified Compiler for Gallina, Written in Gallina

📚 PinterCoding University. Author : Gun Gun Febrianza

Automation for de Bruijn syntax and substitution in Coq

PHP MVC boilerplate with user authentication, basic security and MySQL CRUD operations.

Import OCaml programs to Coq 🐓 🐫

A catalog of Object Oriented Programming Problems

Generates JSON metadata for Object Oriented JavaScript libraries. Used as a source for generating documentation.

A Coq-based synthesis of Scala programs which are correct-by-construction

Certified Relational to Imperative

A tool for measuring Python class cohesion.

A formalization of geometry in Coq based on Tarski's axiom system

Object-Oriented Programming concepts in Python

Fortran command Line Arguments Parser for poor people

Coq Protocol Playground with Se(xp)rialization of Internal Structures.

The CompCert formally-verified C compiler

A project management system built using laravel. Watch full video here