All repos — GH Trending Explorer

MRPT / mrpt

:zap: The Mobile Robot Programming Toolkit (MRPT)

EvgSkv / logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

BetterThanTomorrow / calva

Clojure & ClojureScript Interactive Programming for VS Code

brabadu / awesome-fonts

Curated list of fonts and everything

rigtorp / awesome-lockfree

A collection of resources on wait-free and lock-free programming

sharkdp / cube-composer

A puzzle game inspired by functional programming

chapel-lang / chapel

a Productive Parallel Programming Language

DynamoDS / Dynamo

Open Source Graphical Programming for Computational Design and Automation

Gentleman-Programming / Gentleman.Dots

My personal configuration for LazyVim !

reactive / data-client

Async State Management without the Management. REST, GraphQL, SSE, Websockets

IBM / fp-go

Functional programming library for Go 1.24+, inspired by fp-ts. Uses generic type aliases for a clean, composable API. Provides Option, Either, Result, IO, IOResult, Reader, and ReaderIOResult monads, plus optics (Lens, Prism, Traversal) for immutable data manipulation. Supports Functor, Applicative, and Monad abstractions with do-notation-style

ValeLang / Vale

Compiler for the Vale programming language - http://vale.dev/

swiftlang / swift-book

The Swift Programming Language book

jplag / JPlag

State-of-the-Art Source Code Plagiarism & Collusion Detection. Check for plagiarism in a set of programs.

dotnet / dotNext

Next generation API for .NET

AdaptiveCpp / AdaptiveCpp

Compiler for multiple programming models (SYCL, C++ standard parallelism, HIP/CUDA) for CPUs and GPUs from all vendors: The independent, community-driven compiler for C++-based heterogeneous programming models. Lets applications adapt themselves to all the hardware in the system - even at runtime!

INRIA / spoon

Spoon is a metaprogramming library to analyze and transform Java source code. :spoon: is made with :heart:, :beers: and :sparkles:. It parses source files to build a well-designed AST with powerful analysis and transformation API.

itext / itext-dotnet

iText for .NET is the .NET version of the iText library, formerly known as iTextSharp, which it replaces. iText represents the next level of SDKs for developers that want to take advantage of the benefits PDF can bring. Equipped with a better document engine, high and low-level programming capabilities and the ability to create, edit and enha

fusionlanguage / fut

Fusion programming language. Transpiling to C, C++, C#, D, Java, JavaScript, Python, Swift, TypeScript and OpenCL C.

monix / monix

Asynchronous, Reactive Programming for Scala and Scala.js.

bobeff / programming-math-science

This is a list of links to different freely available learning resources about computer programming, math, and science.

aurae-runtime / aurae

Distributed systems runtime daemon written in Rust.

reactivemarbles / DynamicData

Reactive collections based on Rx.Net

lamdu / lamdu

lamdu - towards the next generation IDE

ERGO-Code / HiGHS

Linear optimization software

liljencrantz / crush

Crush is a command line shell that is also a powerful modern programming language.

cpmech / gosl

Linear algebra, eigenvalues, FFT, Bessel, elliptic, orthogonal polys, geometry, NURBS, numerical quadrature, 3D transfinite interpolation, random numbers, Mersenne twister, probability distributions, optimisation, differential equations.

factor / factor

Factor programming language

rescript-lang / rescript-lang.org

Official documentation website for the ReScript programming language

fcambus / jsemu

A list of emulators written in the JavaScript programming language

python-greenlet / greenlet

Lightweight in-process concurrent programming

braver / programmingfonts

Test drive programming fonts online: the definitive list of fonts for code.

TimefoldAI / timefold-solver

The open source Solver AI for Java and Kotlin to optimize scheduling and routing. Solve the vehicle routing problem, employee rostering, task assignment, maintenance scheduling and other planning problems.

metacall / core

MetaCall: The ultimate polyglot programming experience.

mishamyrt / Lilex

🤘Open source programming font

coalton-lang / coalton

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

ExtensityAI / symbolicai

A neurosymbolic perspective on LLMs

trabucayre / openFPGALoader

Universal utility for programming FPGA

selfrefactor / rambda

Typescript focused FP library similar to Remeda and Ramda

LuxLang / lux

The Lux Programming Language

EnzymeAD / Enzyme

High-performance automatic differentiation of LLVM and MLIR.

optics-dev / Monocle

Optics library for Scala

SciML / ModelingToolkit.jl

An acausal modeling framework for automatically parallelized scientific machine learning (SciML) in Julia. A computer algebra system for integrated symbolics for physics-informed machine learning and automated transformations of differential equations

hedyorg / hedy

Hedy is a gradual programming language to teach children programming. Gradual languages use different language levels, where each level adds new concepts and syntactic complexity. At the end of the Hedy level sequence, kids master a subset of syntactically valid Python.