405 Open source projects that are alternatives of or similar to Practical Fm

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

A core language for rule-based hardware design 🦑

Risk-First Software Development

Unassorted scribbles on formal methods, type theory, category theory, and so on, and so on

Formal verification of OCaml programs

Software Engineering for Engineering Students

little python projects, 一些小的python项目.

Theatherflix OpenSource Project - A visual tool for wiring digital movies, to sort and list the top latest movie trailers. We are constantly developing and making changes. Do you want to be part? Contact us!

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

a software testing platform to perform stress test on web of things

My practice for basic CRUD of Laravel5 on Heroku.

Learn reading notes on the fly fast and easy

A curated list of papers, theses, datasets, and tools related to the application of Machine Learning for Software Engineering

Frama-C and WP tutorial

a go game server framework

Mejora tu lógica de programación y aprende mucho más resolviendo estos ejercicios.

✨ This is a README that appears on the homepage of my profile.

🌈Let us explore the charm of Python together!

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

👨‍🍳 An Android based RMS that aims to digitalize the day to day processes of various restaurant operations including ordering, billing, kitchen, hall and inventory management.

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

readme files for basic CS problems

A framework for implementing and certifying impure computations in Coq

Some famous algorithms implemented in Python

Finite sets, finite maps, multisets and generic sets

A collection of online books for data science, computer science and coding!

Collection of enterprise application patterns

Z-EVES for linux. Probably the only place you can find it

A comprehensive list of 180+ YouTube Channels for Data Science, Data Engineering, Machine Learning, Deep learning, Computer Science, programming, software engineering, etc.

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

course on the basics of scientific computing for economists

A proof of Abel-Ruffini theorem.

Mtac in Agda

Books and other resources for learning Ruby and computer science.

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

TLA+ language support for Visual Studio Code

🖌️ Drawing area widget for Anki to practice Kanji writing

An Awesome Repository On Object Oriented Programming In C++ Language. Ideal For Computer Science Undergraduates, This Repository Holds All The Resources Created And Used By Me - Code & Theory For One To Master Object Oriented Programming. Filled With Theory Slides, Number Of Programs, Concept-Clearing Projects And Beautifully Explained, Well Doc…

Multinomials for the Mathematical Components library.

The Verifiably Safe Reinforcement Learning Framework

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

Verified Software Toolchain

A Coq library providing tactics to deal with hypothesis

A framework for verification of causal consistency for distributed key-value stores and their clients in Coq [maintainer=@palmskog]

Competitive programming practice

Metaprogramming. Multi-paradigm approach in the Software Engineering.

The Overture Tool

HTML+CSS 静态网页项目

Software Engineering Courses in NWPU(Undergraduate)

A systematic coding interview guide

Intrepyd Model Checker

Jupyter notebooks for tutorial on the Z3 SMT solver

Jupyter kernel for Coq

Github repo to Neo4j (and back)

Learning tensorflow by just one example for beginners

📚 Index for my study topics

A Deliberately Insecure Web Application

No description or website provided.

Ltac2 tutorial

Links to tools by subject