Empowering everyone to build reliable and efficient software.
Repository Index
47,133 repositories indexed
1–21 of 21 · 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.
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
🦄 The Enterprise™ programming language
- enterprise
- disruptive-technology
- language
- ajax
Library to build PHP extensions with C++
Modify deeply nested case class fields
- scala
- lenses
- functional-programming
The reference P4 software switch
- p4
- bmv2
- p4lang
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.
A high-level assembly language for writing homebrew software and games on retro console platforms.
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.