Stars
The Plutus language implementation and tools
Course 18.S191 at MIT, Fall 2022 - Introduction to computational thinking with Julia
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…
SwiftLaTeX, a WYSIWYG Browser-based LaTeX Editor
A programming language with static memory management based on λ-calculus
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
Open-source data modeling tool designed for PostgreSQL. No more typing DDL commands. Let pgModeler do the work for you!
A cross-platform, safe, pure-Rust graphics API.
Simple, fast & type safe code that leverages the JavaScript & OCaml ecosystems
ReactJS for your infrastructure. Create and deploy full-stack apps to any infrastructure using the power of React.
Write Scala.js React apps just like you would in ES6
DOMPurify - a DOM-only, super-fast, uber-tolerant XSS sanitizer for HTML, MathML and SVG. DOMPurify works with a secure default, but offers a lot of configurability and hooks. Demo:
Lightweight, modular, and extensible library for functional programming.
(WIP) Dependently-typed programming language with Agda style dependent pattern matching
Agda is a dependently typed programming language / interactive theorem prover.
TopShell - a purely functional, reactive scripting language
Static AST checker for a11y rules on JSX elements.
Identifies accessibility issues in your React.js elements