Skip to content
View blegat's full-sized avatar

Organizations

@JuliaOpt @JuliaPolyhedra @JuliaAlgebra @JuliaReach @JuliaStochOpt @jump-dev @JuliaConstraints

Block or report blegat

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results
Julia 4 Updated Mar 31, 2026

The Chuffed CP solver

C++ 123 44 Updated Mar 17, 2026

Next generation Cosmic desktop environment

Just 6,092 185 Updated Apr 21, 2026

Rigorous global optimisation

Julia 64 21 Updated Apr 17, 2026
Python 12 Updated Feb 8, 2026

Call Java from Julia

Julia 125 52 Updated Apr 13, 2026

Git related utilities for Who's On First Data

Python 2 Updated Jan 11, 2017

Who's On First is a gazetteer of places.

485 9 Updated Mar 6, 2024

Free and open public transport routing.

Lua 605 164 Updated Apr 25, 2026

Proton Mail Bridge application

Go 1,457 210 Updated Apr 20, 2026

Proton Mail Android app

Kotlin 839 67 Updated Apr 20, 2026

Monorepo hosting the proton web clients

TypeScript 5,375 677 Updated Apr 24, 2026
Rust 2 Updated Apr 8, 2026
Rust 7 Updated Mar 20, 2026
Rust 4 1 Updated Mar 31, 2026

Proton Meet mobile app

Dart 15 Updated Mar 31, 2026

Lemonade helps users discover and run local AI apps by serving optimized LLMs right from their own GPUs and NPUs. Join our discord: https://discord.gg/5xXzkMu8Zk

C++ 3,669 278 Updated Apr 25, 2026

Call Julia functions from LabVIEW using ZMQ

LabVIEW 7 Updated Apr 3, 2026

Reactive notebook environment for Rust that uses standard .rs files. Features process isolation, hot reloading, and instant compilation via Cranelift.

Rust 29 2 Updated Apr 14, 2026

A lean formalization of the main theorem of the paper: Low-Rank Univariate Sum of Squares Has No Spurious Local Minima

Lean 2 Updated Apr 1, 2026

If you live in the terminal, kitty is made for you! Cross-platform, fast, feature-rich, GPU based.

Python 32,588 1,356 Updated Apr 25, 2026

Official low-level API to access GAMS Data eXchange (GDX) files with bindings to various programming languages

C++ 14 2 Updated Apr 24, 2026

High-level GDX file API for reading and writing GDX files.

Julia 6 2 Updated Mar 31, 2026

Auxillary package for Julia-LabVIEW (TM) binding over ZMQ

Julia 2 1 Updated Apr 3, 2026

A high performance solver for Mathematical Programs with Complementarity Constraints (MPCCs).

Julia 14 Updated Apr 22, 2026

THE Julia -> SPIRV compiler, which allows to replace all Vulkan shaders with julia functions

Julia 8 1 Updated Apr 21, 2026

Linux kernel source tree

C 230,790 61,878 Updated Apr 25, 2026

Linux kernel source tree

C 14 Updated Apr 25, 2026

Home Assistant Custom Integration for Niko Home Control II

Python 106 25 Updated Mar 2, 2026

Windows inside a Docker container.

Shell 51,067 4,231 Updated Apr 1, 2026
Next