All repos — GH Trending Explorer

google / wuffs

Wrangling Untrusted File Formats Safely

boostorg / beast

HTTP and WebSocket built on Boost.Asio in C++11

aleo-labs-protocol / leo

🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications

microsoft / msquic

Cross-platform, C implementation of the IETF QUIC protocol, exposed to C, C++, C# and Rust.

ruc-datalab / DeepAnalyze

DeepAnalyze is the first agentic LLM for autonomous data science. 🎈你的AI数据分析师，自动分析大量数据，一键生成专业分析报告！

SPLWare / esProc

esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.

scalaz / scalaz

Principled Functional Programming in Scala

GoogleCloudPlatform / golang-samples

Sample apps and code written for Google Cloud in the Go programming language.

ceres-solver / ceres-solver

A large scale non-linear optimization library

marcobambini / gravity

Gravity Programming Language

judge0 / judge0

Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.

DiligentGraphics / DiligentEngine

A modern cross-platform low-level graphics library and rendering framework

poem-web / poem

A full-featured and easy-to-use web framework with the Rust programming language.

tensorflow / probability

Probabilistic reasoning and statistical analysis in TensorFlow

zio / zio

ZIO — A type-safe, composable library for async and concurrent programming in Scala

dry-python / returns

Make your functions return something meaningful, typed, and safe!

dotnet / fsharp

The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio

zenc-lang / zenc

Write like a high-level language, run like C.

mint-lang / mint

🍃 A refreshing programming language for the front-end web.

langroid / langroid

Harness LLMs with Multi-Agent Programming

osrg / gobgp

BGP implemented in the Go Programming Language

rust-postgres / rust-postgres

Native PostgreSQL driver for the Rust programming language

thonny / thonny

Python IDE for beginners

didi / mpx

Mpx，一款具有优秀开发体验和深度性能优化的增强型跨端小程序框架

ballerina-platform / ballerina-lang

The Ballerina Programming Language

d5 / tengo

A fast script language for Go

cs341-illinois / coursebook

Open Source Introductory Systems Programming Textbook for the University of Illinois

thi-ng / umbrella

⛱ Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development

NVIDIA / cuda-rust

NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.

luarocks / luarocks

LuaRocks is the package manager for the Lua programming language.

Overv / VulkanTutorial

Tutorial for the Vulkan graphics and compute API

elixirschool / elixirschool

The content behind Elixir School, the premier destination for people seeking to learn and master the Elixir programming language.

Ruben2776 / PicView

Fast, free and customizable picture viewer

aws / aws-sdk-go-v2

AWS SDK for the Go programming language.

openmainframeproject / cobol-programming-course

Training materials and labs for a "Getting Started" level course on COBOL

psycopg / psycopg2

PostgreSQL database adapter for the Python programming language

dafny-lang / dafny

Dafny is a verification-aware programming language

kth-competitive-programming / kactl

KTH Algorithm Competition Template Library (... eller KTHs AC-tillverkande lapp)

noflo / noflo

Flow-based programming for JavaScript

Suor / funcy

A fancy and practical functional tools lib

gumyr / build123d

A python CAD programming library

grain-lang / grain

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

BlockchainCommons / Learning-Bitcoin-from-the-Command-Line

A complete course for learning Bitcoin programming and usage from the command

samber / mo

🦄 Monads and popular FP abstractions, powered by Go 1.18+ Generics (Option, Result, Either...)

Rust-GPU / rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

milessabin / shapeless

Generic programming for Scala

skulpt / skulpt

Skulpt is a Javascript implementation of the Python programming language

microsoft / Power-Fx

Power Fx low-code programming language

waf / CSharpRepl

A command line C# REPL with syntax highlighting – explore the language, libraries and nuget packages interactively.

awslabs / aws-sdk-rust

AWS SDK for the Rust Programming Language

jank-lang / jank

jank is the native Clojure dialect with seamless C++ interop.

dlang / dmd

dmd D Programming Language compiler

eclipse-zenoh / zenoh

zenoh unifies data in motion, data in-use, data at rest and computations. It carefully blends traditional pub/sub with geo-distributed storages, queries and computations, while retaining a level of time and space efficiency that is well beyond any of the mainstream stacks.