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

Interactive Coq Proofs in Vim

WENO interpolation Object Oriented Fortran library

The mathematical study of type theories, in univalent foundations

Verified vector clocks, with Coq!

Mostly Automated Synthesis of Correct-by-Construction Programs

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

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

Xcode File Template to generate theme manager for Swift 3+

The Language for Smart Legal Contracts

Coq executable semantics and resource verifier

Object-oriented java Excel library

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

Python Object Oriented Html Templating System

Combinatorial species in HoTT

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

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

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

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

A Verified Compiler for Gallina, Written in Gallina

Automation for de Bruijn syntax and substitution in Coq

Import OCaml programs to Coq 🐓 🐫

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

Certified Relational to Imperative

Mindless, verified (erasably) coding using dependent types

KCoFI Pudding: The formal proofs for the KCoFI system

Collapsing Towers of Interpreters

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

《前端内参》，有关于JavaScript、编程范式、设计模式、软件开发的艺术等大前端范畴内的知识分享，旨在帮助前端工程师们夯实技术基础以通过一线互联网企业技术面试。

Bash Infinity is a modern standard library / framework / boilerplate for Bash

Dicas para iniciantes de boas práticas de desenvolvimento de software em Ruby

《软件基础》中译版 Software Foundations Chinese Translation

Cosette is an automated SQL solver.

Verifying concurrent crash-safe systems

🍥 A new take on polymorphism in C++

An Object-Oriented PHP library for Telegram Bots

A comprehensive design patterns library implemented in C#, which covers various design patterns from the most commonly used ones to the lesser-known ones. Get familiar with and learn design patterns through moderately realistic examples.

Formal specification and verification of hardware, especially for security and privacy.

🎩✨🌈 OOP Proxy wrappers/utilities - generates and manages proxies of your objects

SoftUni Courses

A port of Coq to Javascript -- Run Coq in your Browser

Pupular OOP-OPF Library for Delphi (from D2010 to 10.4 Sydney)

Contains examples of design patterns that implemented in php

Dedicated Resources for the Low-Level System Design. Learn how to design and implement large-scale systems. Prep for the system design interview.

Cryptographic Primitive Code Generation by Fiat

A blog about Coq

Python Classes Without Boilerplate

OFF, Open source Finite volume Fluid dynamics code

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.

A framework for implementing and certifying impure computations in Coq

Tricks you wish the Coq manual told you

A curated set of links to formal methods involving provable code.

A Certified Interpreter for ML with Structural Polymorphism

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