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

A compiler plug-in to control object lifetimes in Scala

A library of Coq definitions, theorems, and tactics. [[email protected],@liyishuai]

Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq

The Penn Locally Nameless Metatheory Library

Verified hash-based AMQ structures in Coq

SoftwareFoundations(Ja)

Coq formalizations of functional languages.

A SuperCompiler for Martin-Löf's Type Theory

Coq Support for Visual Studio Code

🎓 BMSTU OOP course (2017)

Interface and abstract class - simple and easy explanation

pure Fortran VTK (XML) API

C simple and elegant implementation of an actor library

DesignPatterns samples by csharp on dotnetcore 《大话设计模式》 中设计模式总结/C#(.NETCore)代码

😎 Programming stuff for everyone. Collection of articles, videos about architecture, Domain Driven Design, microservices, testing etc.

RISC-V Specification in Coq

CNode 社区 Nest 版本 https://cnodejs.org/

Danf is a Node.js full-stack isomorphic OOP framework allowing to code the same way on both client and server sides. It helps you to make deep architectures and handle asynchronous flows in order to help in producing scalable, maintainable, testable and performant applications.

PeaCoq is a pretty Coq, isn't it?

A tiny task for those who isn't familiar with OOP and JS OOP in particular yet

FoBiS.py, Fortran projects Building System for poor people

Porn browser formally-verified in Coq

Lane Detection Module using C++ and OpenCV

Formal proof of the Four Color Theorem

A Certified Interpreter for ML with Structural Polymorphism

Interactive Coq Proofs in Vim

The mathematical study of type theories, in univalent foundations

Mostly Automated Synthesis of Correct-by-Construction Programs

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

The Language for Smart Legal Contracts

Object-oriented java Excel library

Python Object Oriented Html Templating System

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

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

A Verified Compiler for Gallina, Written in Gallina

Import OCaml programs to Coq 🐓 🐫

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

Mindless, verified (erasably) coding using dependent types

Collapsing Towers of Interpreters

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

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

Verifying concurrent crash-safe systems

An Object-Oriented PHP library for Telegram Bots

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

SoftUni Courses

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

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

A blog about Coq

OFF, Open source Finite volume Fluid dynamics code

A framework for implementing and certifying impure computations in Coq

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

Fan club for Elegant Objects programmers

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.