LLMs as Copilots for Theorem Proving in Lean
A zeroconf peer-to-peer mesh VPN using Wireguard
The Python <-> Objective-C Bridge with bindings for macOS frameworks
A command line based editor inspired by Vim. Written in Nim
Main engine of the IronCalc ecosystem
Stream, transform, and route PostgreSQL data in real-time
Simplest & fastest way to transfer files between computers
Evolutionary multi-objective optimization platform
A beautiful yet powerful syntax highlighter
The base version of NexoPOS, which is a web-Based Point Of Sale (POS)
Selenium-automated Jupyter Notebook that is synchronised with NeoVim
C binding generator and Julia interface to libclang
Collection of builder repositories for BinaryBuilder.jl
Finite element toolbox for Julia
A Julia machine learning framework
TUI application for AWS S3 written in Rust using ratatui
C library for encoding, decoding and manipulating JSON data
The electronic structure package for quantum computers
A python framework for creating, editing, and invoking NISQ
Python library for defining and optimizing mathematical expressions
Papirus icon theme for Linux
A clean, Markdown-based publishing platform made for writers
A Kubernetes cluster resource sanitizer
D2 is a modern diagram scripting language that turns text to diagrams
Generates documentation for your REST API from annotations