A toolchain for web projects, aimed to provide functionalities to maintain them. Biome offers formatter and linter, usable via CLI and LSP.

Rust-based platform for the Web

A Python Perceptual Image Hashing Module

A reactive notebook for Python — run reproducible experiments, execute as a script, deploy as an app, and version with git.

An ecosystem of tools to build robust applications in TypeScript

Embed Neovim in Chrome, Firefox & others.

Repository for the book "Crafting Interpreters"

The pattern matching swiss knife

Transcribe on your own!

Python library for audio and music analysis

JDK main-line development https://openjdk.org/projects/jdk

A proven SVG-based JavaScript diagramming library powering exceptional UIs

Annotate Python AST trees with source text and token information

A common base representation of python source code for pylint and other projects

A Python Parser

Mathematical Components

Formal proof in Coq of Cauchy Schwarz Inequality

🐊 Pluggable and configurable JavaScript Linter, code transformer and formatter, drop-in ESLint superpower replacement 💪 with built-in support for js, jsx typescript, flow, markdown, yaml and json. …

Official mirror of Blender

Visual Studio Code extension for the Lean 4 proof assistant

ivrit.ai codebase

An implementation of regular expressions for Rust. This implementation uses finite automata and guarantees linear time matching on all inputs.

A Verified Implementation of Dijkstra's Algorithm

Online tools provides md2, md5, sha1, sha2, sha512, bas64, html encode / decode functions

Pyrallis is a framework for structured configuration parsing from both cmd and files. Simply define your desired configuration structure as a dataclass and let pyrallis do the rest!

Dafny is a verification-aware programming language

Boogie

Next Generation Shell (NGS)

Source code of the Coccinelle project (mirror of the main Coccinelle repository located at Inria)

An interactive, visual demonstration of the four color theorem.