Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–20 of 20 · Most stars
Simple, fast, safe, compiled language for developing maintainable software. Compiles itself in <1s with zero library dependencies. Supports automatic C => V translation. https://vlang.io
React Native's Animated library reimplemented
- animation
- gesture
- react-native
- javascript
Astrid is a portable, capability-secure operating system for composable software.
Mago is a toolchain for PHP that aims to provide a set of tools to help developers write better code.
- code-analyzer
- code-style
- coding-standards
- formatter
Curated list of open-source quantum software projects.
- quantum-computing
- quantum-algorithms
- quantum-chemistry
- quantum-computer-simulator
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
JPF is an extensible software analysis framework for Java bytecode. jpf-core is the basis for all JPF projects; you always need to install it. It contains the basic VM and model checking infrastructure, and can be used to check for concurrency defects like deadlocks, and unhandled exceptions like NullPointerExceptions and AssertionErrors.
Awesome collection of awesome lists of libraries, tools, frameworks and software for any programming language :D
Puma Scan is a software security Visual Studio extension that provides real time, continuous source code analysis as development teams write code. Vulnerabilities are immediately displayed in the development environment as spell check and compiler warnings, preventing security bugs from entering your applications.
Open-source transpiled programming language that helps you write clean code, well-designed systems, and build high-quality software that is testable, auditable and maintainable. Like what you see? Don't forget to star! :star: ^^^
- ddd
- ddd-architecture
- ddd-example
- transpiler
Id Software's Id-tech-4-BFG in the Ada programming language.
Mock an SSH server and define all commands it supports (Python, Twisted)
Hoare Type Theory
- hoare-logic
- hoare-monads
- separation-logic
- coq
Less CSS compiler written in Java
Partial Commutative Monoids
- partial-commutative-monoid
- separation-logic
- coq
- coq-library
Mutation analysis tool for Coq verification projects
- coq
- mutation-analysis
- serapi
Tool for suggesting lemma names in Coq verification projects
- coq
- machine-learning
- name-generation
- pytorch
The fastest HTML builder engine for Crystal
- builder
- crystal
- html
- speed
Calixir is a port of the Lisp calendar software calendrica-4.0 to Elixir.