ThisSeanZhang / landscape
The goal is to make it easier to configure your favorite Linux distribution as a router. Built with Rust and eBPF.
ThisSeanZhang / landscape
ivov / lisette
A little language inspired by Rust that compiles to Go
JuliaSymbolics / Symbolics.jl
Symbolic programming for the next generation of numerical software
beehive-lab / TornadoVM
Write Java. Run on GPUs. Fast.
plfa / plfa.github.io
An introduction to programming language theory in Agda
live-codes / livecodes
A Code Playground That Just Works!
ngs-lang / ngs
Next Generation Shell (NGS)
acados / acados
Fast and embedded solvers for nonlinear optimal control and nonlinear model predictive control
rigetti / pyquil
A Python library for quantum programming using Quil.
ivyreese / visual-programming-codex
Waypoints to the past and future of visual programming.
winitzki / sofp
A free book: "The Science of Functional Programming"
nocode-js / sequential-workflow-designer
Customizable no-code component for building flow-based programming applications or workflow automation. 0 external dependencies. Check out https://nocode-js.com
dotpcap / sharppcap
Official repository - Fully managed, cross platform (Windows, Mac, Linux) .NET library for capturing packets
softwaremill / tapir
Rapid development of self-documenting APIs
pyocd / pyOCD
Open source Python library for programming and debugging Arm Cortex-M microcontrollers
objectionary / eo
EOLANG, an Experimental Pure Object-Oriented Programming Language Based on 𝜑-Calculus
ring-lang / ring
A simple, lightweight, flexible, embeddable, portable and multi-paradigm dynamic programming language for developing applications, tools, and domain-specific languages
digego / extempore
A cyber-physical programming environment
DjangoEx / awesome-python-resources
Awesome Python Resources
raylib-cs / raylib-cs
C# bindings for raylib, a simple and easy-to-use library to learn videogames programming
gambit / gambit
Gambit is an efficient implementation of the Scheme programming language.
Tencent / tquic
A high-performance, lightweight, and cross-platform QUIC library
JuliaGPU / CUDA.jl
CUDA programming in Julia.
titzer / virgil
A fast and lightweight native programming language
noir-lang / noir
Noir is a domain specific language for zero knowledge proofs
boost-ext / sml
C++14 State Machine library
nim-lang / nimble
Package manager for the Nim programming language.
triska / the-power-of-prolog
The Power of Prolog: Introduction to modern Prolog
zenustech / zeno
ZEn NOde system - a simulation & rendering engine in nodes
pnnl / neuromancer
Pytorch-based framework for solving parametric constrained optimization problems, physics-informed system identification, and parametric model predictive control.
reatom / reatom
Reatom - the ultimate state manager
true-myth / true-myth
Safe and idiomatic TypeScript types to handle null, error, and async code handling: Maybe, Result, and Task types that are really nice.
jfalcou / eve
Expressive Vector Engine - SIMD in C++ Goes Brrrr
SkriptLang / Skript
Skript is a Paper plugin which allows server admins to customize their server easily, but without the hassle of programming a plugin or asking/paying someone to program a plugin for them.
jmerle / competitive-companion
Browser extension which parses competitive programming problems
loco-3d / crocoddyl
Crocoddyl is an optimal control library for robot control under contact sequence. Its solver is based on various efficient Differential Dynamic Programming (DDP)-like algorithms
inko-lang / inko
A language for building concurrent software with confidence
metacraft-labs / codetracer
CodeTracer is a user-friendly time-traveling debugger designed to support a wide range of programming languages.
SWI-Prolog / swipl-devel
SWI-Prolog Main development repository
fabulous-dev / Fabulous
Declarative UI framework for cross-platform mobile & desktop apps, using MVU and functional programming in F#
mfaisalkhatri / awesome-learning
A curated list of awesome learning resources for a Software Test Automation Engineer
langgenius / dify-sandbox
A lightweight, fast, and secure code execution environment that supports multiple programming languages
unstablebuild / rune
a fast, GPU-accelerated, full-featured IDE and terminal multiplexer, suitable both for automatic and manual programming.
dlang / phobos
The standard library of the D programming language
beejjorgensen / bgnet
Beej's Guide to Network Programming source
scalalandio / chimney
Scala library for boilerplate-free, type-safe data transformations
chinapandaman / PyPDFForm
🔥 The Python library & CLI for PDF forms.
gutomaia / pyNES
Python programming for Nintendo 8 bits
chelsea0x3b / cudarc
Safe rust wrapper around CUDA toolkit
Java-Edge / Java-Concurrency-Progamming-Tutorial
大厂一线工程师四年磨一剑精心编排 Java 高并发编程教程。详细文档讲解请阅读本人的知识库仓：https://github.com/Wasabi1234/Java-Interview-Tutorial
inexorgame / vulkan-renderer
A new, render-graph based 3D game engine for Linux and Windows using C++20 and Vulkan API 1.3 (in early development)
maximecb / noisecraft
Browser-based visual programming language and platform for sound synthesis.
CakeML / cakeml
CakeML: A Verified Implementation of ML
oldratlee / fucking-java-concurrency
🎏 Simple showcases of java concurrency problems, seeing 🙈 is believing 🐵
rue-language / rue
A programming language that is higher level than Rust but lower level than Go. Someday, anyways.
auth0 / go-jwt-middleware
A Middleware for Go Programming Language to check for JWTs on HTTP requests
DMOJ / online-judge
A modern open-source online judge and contest platform system.
souffle-lang / souffle
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
zigcc / zig-cookbook
Simple Zig programs that demonstrate good practices to accomplish common programming tasks.
tylerprogramming / ai
This repository will have different projects using AutoGen and Tutorials