micropython-scron

SimpleCRON is a time-based task scheduling program inspired by the well-known C

Python8other

4 years ago

learn-to-program

Educational resources to learn to program (Foundation in Web Development)

4130

last month

make-common-lisp-program

GitHub action to make an executable Common Lisp program

Common Lisp3mit

10 months ago

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Coq38

4 years ago

grooves-game-boy-programming

GBDK tutorials

C86

2 years ago

awesome-programming-for-kids

awesome-programming-for-kids

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

ocaml-main-program-in-c

Example build system for making mixed C/Ocaml binaries where the main program is

Shell16

7 years ago

p8-programming-fonts

p8-programming-fonts

A collection of fonts I've modified for PICO-8 programming.

109

5 years ago

ansiasciibitmap-fonts

the-little-introduction-to-programming

The Little Introduction To Programming

CSS44

4 years ago

functional-programming

Organize material to teach functional programming using Elixir

Elixir363

4 years ago

awesome-competitive-programming

awesome-competitive-programming

Description An app to notify Coders about the upcoming and live Algorithm Con

12418cc-by-4.0

5 months ago

algorithmawesomeawesome-list

Clojush

The Push programming language and the PushGP genetic programming system implemen

Clojure331epl-1.0

2 years ago

clojuregenetic-programminginterpreter

Qt5-C-GUI-Programming-Cookbook

Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt

JavaScript102mit

2 years ago

parallel-programming-in-multicore-ocaml

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

OCaml284isc

8 months ago

multicoreocaml

simulator-program

Software for the CAN bus simulator on the Rasperry Pi

Go62mit

8 years ago

mozfest-program

mozfest-program

INACTIVE - http://mzl.la/ghe-archive - Where we're reviewing and scheduling the

45

6 years ago

inactiveunmaintained

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab

Jupyter Notebook26817mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

free-programming-books

:books: Freely available programming books

338316cc-by-4.0

9 days ago

bookseducationhacktoberfest

Bitcoin-Programming-with-BitcoinJS

Bitcoin Programming with BitcoinJS, Bitcoin Core and LND

CSS161mpl-2.0

2 years ago

antorabitcoinbitcoin-core

pdr

A repo for a Program and Data Representation university-level course

HTML114other

2 years ago

pushblast

Get PushBullet notifications when a shell program exits.

Shell97mit

9 years ago

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

statsviz

statsviz

🚀 Visualise your Go program runtime metrics in real time in the browser

Go3171mit

7 months ago

garbage-collectorgogolang

popl

Header-only C++ program options parser library

C++166mit

2 years ago

argument-parserbash-completioncommand-line-parser

gpstest

gpstest

The #1 open-source Android GNSS/GPS test program

Kotlin1783apache-2.0

last month

WavesAffi

Decentralized affiliate program on Waves blockchain

Vue1

5 years ago

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go648mit

4 months ago

aacgogolang

Chaosreader

An any-snarf program that processes application protocols (HTTP/FTP/...) from tc

218

3 years ago

learning_torch

Learning to program in Lua using "Torch" and other useful libraries

Lua26

9 years ago

contracts

contracts

CityCoins give communities the power to improve and program their cities.

Clarity70gpl-3.0

2 years ago

cmark

CommonMark parsing and rendering library and program in C

C1602other

4 months ago

pgFormatter

A PostgreSQL SQL syntax beautifier that can work as a console program or as a CG

PLpgSQL1672postgresql

3 months ago

gcvis

gcvis

Visualise Go program GC trace data in real time

Go1098bsd-2-clause

6 years ago

DerelictCL

Dynamic bindings to the OpenCL library for the D Programming Language.

D7bsl-1.0

5 years ago

DerelictCUDA

Dynamic bindings to the CUDA library for the D Programming Language.

D17

6 years ago

DerelictGL3

A dynamic binding to OpenGL for the D Programming Language.

D79

6 years ago

kreuung-ching

This is a program to help practice and perform Thai music.

Java0other

last year

luastatic

Build a standalone executable from a Lua program.

Lua780cc0-1.0

last year

lua

corelocationcli

corelocationcli

Command line program to print location information from CoreLocation

Swift215mit

2 years ago

applicationcorelocationgps

raspberrypi_tempmon

raspberrypi_tempmon

System monitoring program for Raspberry pi single board computers written in Pyt

Python74other

5 months ago

armcpucpu-monitoring

orm

A lightweight yet powerful, fast, customizable, type-safe object-relational mapp

Go157mit

last year

databasegenericsgo

shipshape

Program analysis platform

Go271apache-2.0

6 years ago

ferium

ferium

Fast and multi-source CLI program for managing Minecraft mods and modpacks from

Rust1090mpl-2.0

4 months ago

curseforgegithub-releasesminecraft

weaver

weaver

Trace Go program execution with uprobes and eBPF

Go299mpl-2.0

last year

bccebpfgo

Detect-It-Easy

Detect-It-Easy

Program for determining types of files for Windows, Linux and MacOS.

JavaScript6981mit

4 months ago

binary-analysisdebuggerdetect

hunt

hunt

A refined core library for D programming language. The module has concurrency /

D95apache-2.0

10 months ago

asynchronouscollectionconcurrency

hunt-net

High-performance network library for D programming language, event-driven asynch

D20apache-2.0

3 years ago

codecsocketssl

kickoff

kickoff

Minimalistic program launcher

Rust364gpl-3.0

4 months ago

launcherrustwayland

Thue

The Thue programming language: Programming with grammars

C29gpl-3.0

10 years ago

FlintPlusPlus

Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++

C++266bsl-1.0

5 years ago

rdt

"Regulo de tri" – simple program for applying the rule of three.

Java4apache-2.0

4 years ago

Qurry

Qurry (was) a prototype for a functional quantum programming language. It incorp

TeX25mit

5 years ago

xbar

xbar

Put the output from any script or program into your macOS Menu Bar (the BitBar r

Go17578mit

2 months ago

bitbarmacmacos-menu

RetroDrawing

RetroDrawing

A simple drawing program

Java4apache-2.0

11 days ago

Tarok

A fully open-source Tarock program for playing online (through WebSocket-based b

Dart19agpl-3.0

2 months ago

card-gamecard-gamesdart

promotion-text-kata

An hour-long hands-on practice on readable and maintainable programming

JavaScript0mit

4 years ago

tkd

tkd

GUI toolkit for the D programming language based on Tcl/Tk

D117mit

3 years ago

dgui-toolkit

rustybgp

rustybgp

BGP implemented in the Rust Programming Language

Rust472apache-2.0

10 months ago

Whaler

Program to reverse Docker images into Dockerfiles

Go1067gpl-3.0

2 years ago

docker-imagedocker-securitydockerfile

micropython-monitor

micropython-monitor

Display the behaviour of a realtime program with a scope or logic analyser.

Python28mit

2 years ago

q_sharp_bell_state

Q# Bell State Program

C#2mit

7 years ago

qsharpquantum-computing

cdeploy

Simple Python program for managing Cassandra schema migrations

Python9apache-2.0

8 years ago

AxiTurtle

Program AxiDraw with turtle graphics commands in Processing

Processing15

7 years ago

autovala

A program that automatically generates CMake and Meson configuration files for y

Vala104gpl-3.0

6 years ago

RxSwift

RxSwift

Reactive Programming in Swift

Swift24395mit

8 days ago

functionaliosobserver

CommandTrayHost

A command line program monitor systray for Windows

C++389mit

4 years ago

command-linecommand-line-tooljson

seedlink2taos_py

A Python program that fetches seismic waveform data from IRIS and writes to TDen

Python11apache-2.0

4 years ago

DroidRA

DroidRA

Taming Reflection to Support Whole-Program Analysis of Android Apps

Java51lgpl-2.1

5 years ago

graphios

A program to send nagios perf data to graphite (carbon) / statsd / librato / inf

Python289

7 years ago

kpie

Simple devilspie-like program for window manipulation, with Lua.

C79gpl-2.0

4 years ago

TerminalImageViewer

TerminalImageViewer

Small C++ program to display images in a (modern) terminal using RGB ANSI codes

C++1564other

5 months ago

ansi-colorsascii-graphicscpp

fpRust

Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features fo

Rust115mit

3 years ago

actor-modelasynccoroutine

DOSCommand

This component let you execute a dos program (exe, com or batch file) and catch

Pascal119other

4 months ago

Inkscape_electric_Symbols

Inkscape_electric_Symbols

Electrical symbol library for the vector graphics program Inkscape.

346cc0-1.0

5 months ago

electric-circuitselectrical-circuitselectrical-engineering

AppImage-Integrator

AppImage-Integrator

A simple program to integrate AppImages into the Linux desktop.

C++3gpl-3.0

2 years ago

shelf

being a CLI program to bookmark files

Rust0mit

last year

MiniLayout

Minimal AutoLayout convenience layer. Program constraints succinctly. ⚠️ Moved i

Swift8mit

5 years ago

autolayoutswiftsyntactic-sugar

qbit

qbit

The Java microservice lib. QBit is a reactive programming lib for building micro

Java709apache-2.0

7 years ago

actorawshealth

Sanmill

Sanmill

Description Mill Game program, which supports rule variants.Rules:* A player

Dart146gpl-3.0

yesterday

aialpha-beta-pruningbitboard

Line-us-Programming

Some very simple examples to get you started with the Line-us API

Python114gpl-3.0

4 years ago

drawingdrawing-machinegcode-commands

ispc

Intel® Implicit SPMD Program Compiler

C++2508bsd-3-clause

24 days ago

compilerintelispc

sui

Sui, a next-generation smart contract platform with high throughput, low latenc

Rust5916apache-2.0

4 months ago

blockchaindistributed-ledger-technologymove

GameNetworkingResources

GameNetworkingResources

A Curated List of Multiplayer Game Network Programming Resources

C7422

2 months ago

cppcsharpgame

xdl-generation

xdl-generation

CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve

JavaScript40mit

2 months ago

language-modelplanningrobot

PhotoFlow

A fully non-destructive photo retouching program providing a complete layer-base

C++315gpl-3.0

4 years ago

opencvd

opencvd

Unofficial OpenCV binding for D programming language

D23bsl-1.0

3 years ago

gbapfomgd

Source code for the book "Game Boy Assembly Programming for the Modern Game Deve

TeX151other

2 years ago

gopcap

A simple wrapper around libpcap for the Go programming language

Go488bsd-3-clause

4 years ago

devand

DevAndDev helps developers finding pair-programming partners.

Rust40apache-2.0

9 months ago

chuckscript

Chuck Norris Programming Language

JavaScript32mit

8 years ago

chuck-norrisesoteric-languagejavascript

gameboy

Exploring Game Boy programming techniques.

Shell76mit

7 years ago

audiowaveform

audiowaveform

C++ program to generate waveform data and render waveform images from audio file

C++1895gpl-3.0

3 months ago

audioc-plus-plus

RawTherapee

RawTherapee

A powerful cross-platform raw photo processing program

C++2923gpl-3.0

2 days ago

photographyrawrawtherapee

goroslib

ROS client library for the Go programming language

Go315mit

6 months ago

gogolangrobot-operating-system

dlangui

dlangui

Cross Platform GUI for D programming language

D812bsl-1.0

last month

cross-platform-guiddlangui

graphqld

A vibe.d library to handle the GraphQL Protocol written in the D Programming Lan

D35lgpl-3.0

2 days ago

ddlanggraphql

certmagic

certmagic

Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and r

Go4931apache-2.0

4 months ago

acmeautomatic-httpsgo

precept

precept

A declarative programming framework

Clojure656mit

2 years ago

clojureclojurescriptdeclarative-programming

libserial

Serial Port Programming in C++

C++406bsd-3-clause

2 months ago

linuxrs-232rs232

icr

icr

Interactive console for Crystal programming language

Crystal505mit

3 years ago

crystalrepl

SwiftParsec

A parser combinator library written in the Swift programming language.

Swift227bsd-2-clause

2 years ago

functionalparserparser-combinators

ReactiveKit

A Swift Reactive Programming Kit

Swift1239mit

2 years ago

di

🛠 A full-featured dependency injection container for go programming language.

Go231mit

11 months ago

dependency-injectiondigo

jellylanguage

Jelly is a recreational programming language inspired by J.

Python863mit

4 years ago

crz

Functional programming library for https://github.com/crystal-lang/crystal

Crystal90mit

4 years ago

DCD

DCD

The D Completion Daemon is an auto-complete program for the D programming langua

D349gpl-3.0

4 months ago

autocompletecode-completiond

Pegged

A Parsing Expression Grammar (PEG) module, using the D programming language.

D534

last year

scid

Scientific library for the D programming language

D90bsl-1.0

5 years ago

Data-Science-45min-Intros

Ipython notebook presentations for getting starting with basic programming, stat

Jupyter Notebook1577unlicense

5 years ago

TypeShape

Practical generic programming for F#

F#291mit

last year

fsharpgeneric-programming

dots

A Turing-complete programming language with only one symbol: "."

Python5unlicense

4 years ago

monicelli

An esoteric programming language, come se fosse antani.

C++1316gpl-3.0

2 years ago

dqml

Qt Qml bindings for the D programming language

D41lgpl-3.0

2 years ago

spookyc

spookyc

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml148mit

6 years ago

boofearghost

minimock

Powerful mock generation tool for Go programming language

Go580mit

5 months ago

mock

GoMock is a mocking framework for the Go programming language.

Go9263apache-2.0

10 months ago

config

A lightweight yet powerful configuration manager for the Go programming language

Go360mit

2 years ago

configconfig-managementconfig-manager

agera

Reactive Programming for Android

Java7195apache-2.0

3 years ago

ageraandroidreactive

suzy

A three-dimensional esoteric programming language

Python8

15 years ago

monkeys

A strongly-typed genetic programming framework for Python

Python121

6 years ago

aiant-colony-optimizationframework

swifter

Tiny http server engine written in Swift programming language.

Swift3908bsd-3-clause

8 months ago

httpserverswift

ironpython2

ironpython2

Implementation of the Python programming language for .NET Framework; built on t

Python1072apache-2.0

10 months ago

orange

A serialization library for the D programming language.

D72

5 years ago

leaps

leaps

A pair programming service using operational transforms

Go748mit

2 years ago

gogolangoperational-transform

Enterprise

Enterprise

🦄 The Enterprise™ programming language

JavaScript1595

2 years ago

ajaxartificial-intelligencecloud

Flow

Operation Oriented Programming in Swift

Swift216mit

8 years ago

asyncoperationsswift

libextobjc

A Cocoa library to extend the Objective-C programming language.

Objective-C4525mit

6 years ago

crystalline

A collection of containers & algorithms for the Crystal programming language

Crystal129mit

last year

algorithmscrystal

lunum

Numeric arrays for the Lua programming language

C37

13 years ago

cells

A Common Lisp implementation of the dataflow programming paradigm

Common Lisp211

2 years ago

lptrace

Trace any Python program, anywhere!

Python700gpl-3.0

6 years ago

RoslynQuoter

Roslyn tool that for a given C# program shows syntax tree API calls to construct

C#912apache-2.0

last year

kokkos

kokkos

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model

C++1983other

24 days ago

abstractionc-plus-plushigh-performance-computing

kleene-lang

a high-level language, based on OpenFst, for finite-state programming

Java14apache-2.0

6 years ago

karoo_gp

A Genetic Programming platform for Python with TensorFlow for wicked-fast CPU an

Python156other

2 years ago

jscpd

jscpd

Copy/paste detector for programming source code.

TypeScript4719mit

4 days ago

clones-detectioncode-qualitycopy-paste

diy-lang

A hands-on, test driven guide to implementing a simple programming language

Python553bsd-3-clause

2 years ago

Curryfy

Provides strongly typed extensions methods for C# delegates to take advantages o

C#66apache-2.0

last year

csharpcurrycurrying

concurrentlua

Concurrency oriented programming in Lua

Lua158mit

10 years ago

mcsema

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries

C++2657agpl-3.0

3 years ago

aarch64binary-analysisida

walk

walk

A Windows GUI toolkit for the Go Programming Language

Go6802other

10 months ago

declarativedeclarative-uigo

fcm

Firebase Cloud Messaging for application servers implemented using the Go progra

Go51mit

5 years ago

fcmfirebasefirebase-cloud-messaging

demo_web_zip_wasm

demo_web_zip_wasm

A simple example program for creating password archives in ZIP format, running i

Rust4

6 months ago

vue-dd-form

vue-dd-form

📋 Fresh way to create simple or complex forms – without programming!

Vue80mit

3 years ago

CwlSignal

A Swift framework for reactive programming.

Swift303isc

3 years ago

froid

A library for using the Frege programming language in Android development.

Frege100

7 years ago

androidandroid-developmentfrege

gottlob

A build tool for the Frege programming language.

Frege0

8 years ago

core

core

MetaCall: The ultimate polyglot programming experience.

C1529apache-2.0

4 months ago

ccppdocker

cascadia-code

cascadia-code

This is a fun, new monospaced font that includes programming ligatures and is de

Python25996other

3 months ago

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

Jupyter Notebook4537mit

3 months ago

coding-katahacktoberfestqsharp

shapeless

Generic programming for Scala

Scala3374apache-2.0

4 months ago

fpfunctional-programminggeneric-programming

onlytoday

📅 An esoteric programming language for no reason whatsoever.

JavaScript10

7 years ago

esolangesolangsesoteric

functionalgroovy

Functional programming in Groovy

Groovy67

9 years ago

epi

Solutions for Elements of Programming Interviews problems written in Golang (wor

Go530mit

2 years ago

commander

Command-line interface builder for the Crystal programming language.

Crystal128mit

4 years ago

args-kata

An hour-long hands-on practice on readable and maintainable programming

JavaScript1mit

4 years ago

Cflat

An interpreter for C flat, a music-based programming language

C27mit

4 years ago

dunit

Advanced unit testing toolkit for the D programming language

D62mit

5 years ago

dunit-testing

reactify

The first and only true Functional Reactive Programming framework for Scala.

Scala85mit

4 months ago

frpfrp-libraryreactive

flyd

The minimalistic but powerful, modular, functional reactive programming library

JavaScript1563mit

10 months ago

april

The APL programming language (a subset thereof) compiling to Common Lisp.

Common Lisp602apache-2.0

2 months ago

PharoThings

PharoThings

Live programming platform for IoT projects based on Pharo

Smalltalk89mit

4 years ago

arduinoideiot-platform

scowl

A Scala DSL for programming with the OWL API.

Scala54mit

4 months ago

radiate

A genetic programming engine which evolves solutions through asynchronous specia

Rust146mit

3 years ago

artificial-intelligenceevolutionary-algorithmsgenetic-algorithm

SwiftFoundation

Cross-Platform, Protocol-Oriented Programming base library to complement the Swi

Swift625mit

4 years ago

apple-foundationcross-platformprotocol-oriented

dunnart

LALR(1) Parser Generator for the D Programming Language

D14

7 years ago

numpyro

Probabilistic programming with NumPy powered by JAX for autograd and JIT compila

Python2301apache-2.0

yesterday

bayesian-inferencehmcinference-algorithms

goc

goc

A Comprehensive Coverage Testing System for The Go Programming Language

Go790apache-2.0

5 months ago

coverage-testinggotesting-tools

apheleia

🌷 Run code formatter on buffer contents without moving point, using RCS patches

Emacs Lisp572mit

9 days ago

jacop

Java Constraint Programming solver

Java220other

11 months ago

cl-liballegro

cl-liballegro

Common Lisp bindings and interface to the Allegro 5 game programming library

Common Lisp55zlib

30 days ago

allegro5bindingscffi

rete

rete

JavaScript framework for visual programming

TypeScript9842mit

5 months ago

dataflow-programmingflow-based-programminggraph-editor

pyquil

A Python library for quantum programming using Quil.

Python1410apache-2.0

8 days ago

forestquantum-computingquantum-programming

onenord.nvim

onenord.nvim

🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a

Lua528mit

2 months ago

luaneovimneovim-colorscheme

pyrobottraining

Teaches students Robot programming in python by having them create code that pas

Python7

9 years ago

frc-robotpythonrobotpy

Prelude

Swift µframework of simple functional programming tools

Swift411mit

6 years ago

TailBlazer

TailBlazer

A modern file tail utility based on Rx.Net which show cases reactive programming

C#2215gpl-3.0

2 years ago

HTPLcompiler

HTPL is a programming language based on HTML

JavaScript10

4 years ago

htmlhtpl-compilerprogramming-language

LightGraphs.jl

An optimized graphs package for the Julia programming language

Julia672other

3 years ago

graphgraph-algorithmsgraph-analytics

quid-pro-quo

A contract programming library for Common Lisp in the style of Eiffel’s Design b

Common Lisp94other

6 years ago

common-lispdesign-by-contracteiffel

rayex

rayex

Raylib binds to elixir for games programming

Elixir40apache-2.0

5 months ago

bindingselixirraylib

caide

caide

Automates certain common tasks that you do during programming competitions

Haskell86

last year

codechefcodeforcescommand-line-tool

modf

A setf like macro for functional programming

Common Lisp63bsd-3-clause

4 years ago

Mach7

Mach7

Functional programming style pattern-matching library for C++

C++1278other

3 years ago

adtalgebraic-data-typespattern

shader-school

shader-school

:mortar_board: A workshopper for GLSL shaders and graphics programming

JavaScript4275other

4 years ago

emacs4cl

emacs4cl

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

Emacs Lisp379mit

9 months ago

common-lispdark-themeemacs

papyrus

A Literate Programming Tool: Common Lisp + Markdown / Org mode

Common Lisp45mit

7 months ago

common-lispliterate-programmingmarkdown

react-as3

A signals/slots and functional reactive programming library for ActionScript

ActionScript32other

6 years ago

fpGo

Monad, Functional Programming features for Golang

Go347mit

last year

actor-modelcollectioncurry

gcm

Google Cloud Messaging for application servers implemented using the Go programm

Go31mit

9 years ago

guides

A guide for programming in style.

Ruby9465

2 months ago

GameNetworkingResources

GameNetworkingResources

A Curated List of Multiplayer Game Network Programming Resources

C7274

4 months ago

cppcsharpgame

FiraCode

FiraCode

Free monospaced font with programming ligatures

Clojure77256ofl-1.1

17 days ago

fontligaturesprogramming-ligatures

progress_bar.cr

progress_bar.cr

A ProgressBar implementation for the Crystal programming language

Crystal15mit

9 months ago

Swiftz

Functional programming in Swift

Swift3332bsd-3-clause

2 years ago

functional-programmingswift

Turtle

Turtle

A programming language that utilizes long-term storage for space consumption

Java5

5 years ago

3DSHaxe

make 3ds homebrew with the haxe programming language!

C30

last year

RESTRequest4Delphi

RESTRequest4Delphi

API to consume REST services written in any programming language with support to

Pascal533mit

last month

apiclientdelphi

fungp

A genetic programming library for Clojure

Clojure100gpl-3.0

11 years ago

ZigGBA

ZigGBA

Work in progress SDK for creating Game Boy Advance games using Zig programming l

Zig342mit

8 months ago

gbasdkzig

micropython-scron

SimpleCRON is a time-based task scheduling program inspired by the well-known C

Python8other

4 years ago

learn-to-program

Educational resources to learn to program (Foundation in Web Development)

4130

last month

make-common-lisp-program

GitHub action to make an executable Common Lisp program

Common Lisp3mit

10 months ago

cdf-program-logics

Companion Coq development for Xavier Leroy's 2021 lectures on program logics

Coq38

4 years ago

grooves-game-boy-programming

GBDK tutorials

C86

2 years ago

awesome-programming-for-kids

awesome-programming-for-kids

Description codeSpark is the #1 learn-to-code app for kids ages 3-10. We have

1043cc0-1.0

7 months ago

awesomeawesome-listipad

ocaml-main-program-in-c

Example build system for making mixed C/Ocaml binaries where the main program is

Shell16

7 years ago

p8-programming-fonts

p8-programming-fonts

A collection of fonts I've modified for PICO-8 programming.

109

5 years ago

ansiasciibitmap-fonts

the-little-introduction-to-programming

The Little Introduction To Programming

CSS44

4 years ago

functional-programming

Organize material to teach functional programming using Elixir

Elixir363

4 years ago

awesome-competitive-programming

awesome-competitive-programming

Description An app to notify Coders about the upcoming and live Algorithm Con

12418cc-by-4.0

5 months ago

algorithmawesomeawesome-list

Clojush

The Push programming language and the PushGP genetic programming system implemen

Clojure331epl-1.0

2 years ago

clojuregenetic-programminginterpreter

Qt5-C-GUI-Programming-Cookbook

Code repository for Qt5 C++ GUI Programming Cookbook, published by Packt

JavaScript102mit

2 years ago

parallel-programming-in-multicore-ocaml

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

OCaml284isc

8 months ago

multicoreocaml

simulator-program

Software for the CAN bus simulator on the Rasperry Pi

Go62mit

8 years ago

mozfest-program

mozfest-program

INACTIVE - http://mzl.la/ghe-archive - Where we're reviewing and scheduling the

45

6 years ago

inactiveunmaintained

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab

Jupyter Notebook26817mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

free-programming-books

:books: Freely available programming books

338316cc-by-4.0

9 days ago

bookseducationhacktoberfest

Bitcoin-Programming-with-BitcoinJS

Bitcoin Programming with BitcoinJS, Bitcoin Core and LND

CSS161mpl-2.0

2 years ago

antorabitcoinbitcoin-core

pdr

A repo for a Program and Data Representation university-level course

HTML114other

2 years ago

pushblast

Get PushBullet notifications when a shell program exits.

Shell97mit

9 years ago

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook17mit

2 years ago

algorandavmblockchain

statsviz

statsviz

🚀 Visualise your Go program runtime metrics in real time in the browser

Go3171mit

7 months ago

garbage-collectorgogolang

popl

Header-only C++ program options parser library

C++166mit

2 years ago

argument-parserbash-completioncommand-line-parser

gpstest

gpstest

The #1 open-source Android GNSS/GPS test program

Kotlin1783apache-2.0

last month

WavesAffi

Decentralized affiliate program on Waves blockchain

Vue1

5 years ago

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go648mit

4 months ago

aacgogolang

Chaosreader

An any-snarf program that processes application protocols (HTTP/FTP/...) from tc

218

3 years ago

learning_torch

Learning to program in Lua using "Torch" and other useful libraries

Lua26

9 years ago

contracts

contracts

CityCoins give communities the power to improve and program their cities.

Clarity70gpl-3.0

2 years ago

cmark

CommonMark parsing and rendering library and program in C

C1602other

4 months ago

pgFormatter

A PostgreSQL SQL syntax beautifier that can work as a console program or as a CG

PLpgSQL1672postgresql

3 months ago

gcvis

gcvis

Visualise Go program GC trace data in real time

Go1098bsd-2-clause

6 years ago

DerelictCL

Dynamic bindings to the OpenCL library for the D Programming Language.

D7bsl-1.0

5 years ago

DerelictCUDA

Dynamic bindings to the CUDA library for the D Programming Language.

D17

6 years ago

DerelictGL3

A dynamic binding to OpenGL for the D Programming Language.

D79

6 years ago

kreuung-ching

This is a program to help practice and perform Thai music.

Java0other

last year

luastatic

Build a standalone executable from a Lua program.

Lua780cc0-1.0

last year

lua

corelocationcli

corelocationcli

Command line program to print location information from CoreLocation

Swift215mit

2 years ago

applicationcorelocationgps

raspberrypi_tempmon

raspberrypi_tempmon

System monitoring program for Raspberry pi single board computers written in Pyt

Python74other

5 months ago

armcpucpu-monitoring

orm

A lightweight yet powerful, fast, customizable, type-safe object-relational mapp

Go157mit

last year

databasegenericsgo

shipshape

Program analysis platform

Go271apache-2.0

6 years ago

ferium

ferium

Fast and multi-source CLI program for managing Minecraft mods and modpacks from

Rust1090mpl-2.0

4 months ago

curseforgegithub-releasesminecraft

weaver

weaver

Trace Go program execution with uprobes and eBPF

Go299mpl-2.0

last year

bccebpfgo

Detect-It-Easy

Detect-It-Easy

Program for determining types of files for Windows, Linux and MacOS.

JavaScript6981mit

4 months ago

binary-analysisdebuggerdetect

hunt

hunt

A refined core library for D programming language. The module has concurrency /

D95apache-2.0

10 months ago

asynchronouscollectionconcurrency

hunt-net

High-performance network library for D programming language, event-driven asynch

D20apache-2.0

3 years ago

codecsocketssl

kickoff

kickoff

Minimalistic program launcher

Rust364gpl-3.0

4 months ago

launcherrustwayland

Thue

The Thue programming language: Programming with grammars

C29gpl-3.0

10 years ago

FlintPlusPlus

Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++

C++266bsl-1.0

5 years ago

rdt

"Regulo de tri" – simple program for applying the rule of three.

Java4apache-2.0

4 years ago

Qurry

Qurry (was) a prototype for a functional quantum programming language. It incorp

TeX25mit

5 years ago

xbar

xbar

Put the output from any script or program into your macOS Menu Bar (the BitBar r

Go17578mit

2 months ago

bitbarmacmacos-menu

RetroDrawing

RetroDrawing

A simple drawing program

Java4apache-2.0

11 days ago

Tarok

A fully open-source Tarock program for playing online (through WebSocket-based b

Dart19agpl-3.0

2 months ago

card-gamecard-gamesdart

tkd

tkd

GUI toolkit for the D programming language based on Tcl/Tk

D117mit

3 years ago

dgui-toolkit

rustybgp

rustybgp

BGP implemented in the Rust Programming Language

Rust472apache-2.0

10 months ago

Whaler

Program to reverse Docker images into Dockerfiles

Go1067gpl-3.0

2 years ago

docker-imagedocker-securitydockerfile

micropython-monitor

micropython-monitor

Display the behaviour of a realtime program with a scope or logic analyser.

Python28mit

2 years ago

q_sharp_bell_state

Q# Bell State Program

C#2mit

7 years ago

qsharpquantum-computing

cdeploy

Simple Python program for managing Cassandra schema migrations

Python9apache-2.0

8 years ago

AxiTurtle

Program AxiDraw with turtle graphics commands in Processing

Processing15

7 years ago

autovala

A program that automatically generates CMake and Meson configuration files for y

Vala104gpl-3.0

6 years ago

RxSwift

RxSwift

Reactive Programming in Swift

Swift24395mit

8 days ago

functionaliosobserver

CommandTrayHost

A command line program monitor systray for Windows

C++389mit

4 years ago

command-linecommand-line-tooljson

seedlink2taos_py

A Python program that fetches seismic waveform data from IRIS and writes to TDen

Python11apache-2.0

4 years ago

DroidRA

DroidRA

Taming Reflection to Support Whole-Program Analysis of Android Apps

Java51lgpl-2.1

5 years ago

graphios

A program to send nagios perf data to graphite (carbon) / statsd / librato / inf

Python289

7 years ago

kpie

Simple devilspie-like program for window manipulation, with Lua.

C79gpl-2.0

4 years ago

TerminalImageViewer

TerminalImageViewer

Small C++ program to display images in a (modern) terminal using RGB ANSI codes

C++1564other

5 months ago

ansi-colorsascii-graphicscpp

fpRust

Monad/MonadIO, Handler, Coroutine/doNotation, Functional Programming features fo

Rust115mit

3 years ago

actor-modelasynccoroutine

DOSCommand

This component let you execute a dos program (exe, com or batch file) and catch

Pascal119other

4 months ago

Inkscape_electric_Symbols

Inkscape_electric_Symbols

Electrical symbol library for the vector graphics program Inkscape.

346cc0-1.0

5 months ago

electric-circuitselectrical-circuitselectrical-engineering

AppImage-Integrator

AppImage-Integrator

A simple program to integrate AppImages into the Linux desktop.

C++3gpl-3.0

2 years ago

shelf

being a CLI program to bookmark files

Rust0mit

last year

MiniLayout

Minimal AutoLayout convenience layer. Program constraints succinctly. ⚠️ Moved i

Swift8mit

5 years ago

autolayoutswiftsyntactic-sugar

qbit

qbit

The Java microservice lib. QBit is a reactive programming lib for building micro

Java709apache-2.0

7 years ago

actorawshealth

Sanmill

Sanmill

Description Mill Game program, which supports rule variants.Rules:* A player

Dart146gpl-3.0

yesterday

aialpha-beta-pruningbitboard

Line-us-Programming

Some very simple examples to get you started with the Line-us API

Python114gpl-3.0

4 years ago

drawingdrawing-machinegcode-commands

ispc

Intel® Implicit SPMD Program Compiler

C++2508bsd-3-clause

24 days ago

compilerintelispc

sui

Sui, a next-generation smart contract platform with high throughput, low latenc

Rust5916apache-2.0

4 months ago

blockchaindistributed-ledger-technologymove

GameNetworkingResources

GameNetworkingResources

A Curated List of Multiplayer Game Network Programming Resources

C7422

2 months ago

cppcsharpgame

xdl-generation

xdl-generation

CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve

JavaScript40mit

2 months ago

language-modelplanningrobot

PhotoFlow

A fully non-destructive photo retouching program providing a complete layer-base

C++315gpl-3.0

4 years ago

opencvd

opencvd

Unofficial OpenCV binding for D programming language

D23bsl-1.0

3 years ago

gbapfomgd

Source code for the book "Game Boy Assembly Programming for the Modern Game Deve

TeX151other

2 years ago

gopcap

A simple wrapper around libpcap for the Go programming language

Go488bsd-3-clause

4 years ago

devand

DevAndDev helps developers finding pair-programming partners.

Rust40apache-2.0

9 months ago

chuckscript

Chuck Norris Programming Language

JavaScript32mit

8 years ago

chuck-norrisesoteric-languagejavascript

gameboy

Exploring Game Boy programming techniques.

Shell76mit

7 years ago

audiowaveform

audiowaveform

C++ program to generate waveform data and render waveform images from audio file

C++1895gpl-3.0

3 months ago

audioc-plus-plus

RawTherapee

RawTherapee

A powerful cross-platform raw photo processing program

C++2923gpl-3.0

2 days ago

photographyrawrawtherapee

goroslib

ROS client library for the Go programming language

Go315mit

6 months ago

gogolangrobot-operating-system

dlangui

dlangui

Cross Platform GUI for D programming language

D812bsl-1.0

last month

cross-platform-guiddlangui

graphqld

A vibe.d library to handle the GraphQL Protocol written in the D Programming Lan

D35lgpl-3.0

2 days ago

ddlanggraphql

certmagic

certmagic

Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and r

Go4931apache-2.0

4 months ago

acmeautomatic-httpsgo

precept

precept

A declarative programming framework

Clojure656mit

2 years ago

clojureclojurescriptdeclarative-programming

libserial

Serial Port Programming in C++

C++406bsd-3-clause

2 months ago

linuxrs-232rs232

icr

icr

Interactive console for Crystal programming language

Crystal505mit

3 years ago

crystalrepl

SwiftParsec

A parser combinator library written in the Swift programming language.

Swift227bsd-2-clause

2 years ago

functionalparserparser-combinators

ReactiveKit

A Swift Reactive Programming Kit

Swift1239mit

2 years ago

di

🛠 A full-featured dependency injection container for go programming language.

Go231mit

11 months ago

dependency-injectiondigo

jellylanguage

Jelly is a recreational programming language inspired by J.

Python863mit

4 years ago

crz

Functional programming library for https://github.com/crystal-lang/crystal

Crystal90mit

4 years ago

DCD

DCD

The D Completion Daemon is an auto-complete program for the D programming langua

D349gpl-3.0

4 months ago

autocompletecode-completiond

Pegged

A Parsing Expression Grammar (PEG) module, using the D programming language.

D534

last year

scid

Scientific library for the D programming language

D90bsl-1.0

5 years ago

Data-Science-45min-Intros

Ipython notebook presentations for getting starting with basic programming, stat

Jupyter Notebook1577unlicense

5 years ago

TypeShape

Practical generic programming for F#

F#291mit

last year

fsharpgeneric-programming

dots

A Turing-complete programming language with only one symbol: "."

Python5unlicense

4 years ago

monicelli

An esoteric programming language, come se fosse antani.

C++1316gpl-3.0

2 years ago

dqml

Qt Qml bindings for the D programming language

D41lgpl-3.0

2 years ago

spookyc

spookyc

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml148mit

6 years ago

boofearghost

minimock

Powerful mock generation tool for Go programming language

Go580mit

5 months ago

mock

GoMock is a mocking framework for the Go programming language.

Go9263apache-2.0

10 months ago

config

A lightweight yet powerful configuration manager for the Go programming language

Go360mit

2 years ago

configconfig-managementconfig-manager

agera

Reactive Programming for Android

Java7195apache-2.0

3 years ago

ageraandroidreactive

suzy

A three-dimensional esoteric programming language

Python8

15 years ago

monkeys

A strongly-typed genetic programming framework for Python

Python121

6 years ago

aiant-colony-optimizationframework

swifter

Tiny http server engine written in Swift programming language.

Swift3908bsd-3-clause

8 months ago

httpserverswift

ironpython2

ironpython2

Implementation of the Python programming language for .NET Framework; built on t

Python1072apache-2.0

10 months ago

orange

A serialization library for the D programming language.

D72

5 years ago

leaps

leaps

A pair programming service using operational transforms

Go748mit

2 years ago

gogolangoperational-transform

Enterprise

Enterprise

🦄 The Enterprise™ programming language

JavaScript1595

2 years ago

ajaxartificial-intelligencecloud

Flow

Operation Oriented Programming in Swift

Swift216mit

8 years ago

asyncoperationsswift

libextobjc

A Cocoa library to extend the Objective-C programming language.

Objective-C4525mit

6 years ago

crystalline

A collection of containers & algorithms for the Crystal programming language

Crystal129mit

last year

algorithmscrystal

lunum

Numeric arrays for the Lua programming language

C37

13 years ago

cells

A Common Lisp implementation of the dataflow programming paradigm

Common Lisp211

2 years ago

lptrace

Trace any Python program, anywhere!

Python700gpl-3.0

6 years ago

RoslynQuoter

Roslyn tool that for a given C# program shows syntax tree API calls to construct

C#912apache-2.0

last year

kokkos

kokkos

Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model

C++1983other

24 days ago

abstractionc-plus-plushigh-performance-computing

kleene-lang

a high-level language, based on OpenFst, for finite-state programming

Java14apache-2.0

6 years ago

karoo_gp

A Genetic Programming platform for Python with TensorFlow for wicked-fast CPU an

Python156other

2 years ago

jscpd

jscpd

Copy/paste detector for programming source code.

TypeScript4719mit

4 days ago

clones-detectioncode-qualitycopy-paste

diy-lang

A hands-on, test driven guide to implementing a simple programming language

Python553bsd-3-clause

2 years ago

Curryfy

Provides strongly typed extensions methods for C# delegates to take advantages o

C#66apache-2.0

last year

csharpcurrycurrying

concurrentlua

Concurrency oriented programming in Lua

Lua158mit

10 years ago

mcsema

mcsema

Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries

C++2657agpl-3.0

3 years ago

aarch64binary-analysisida

walk

walk

A Windows GUI toolkit for the Go Programming Language

Go6802other

10 months ago

declarativedeclarative-uigo

fcm

Firebase Cloud Messaging for application servers implemented using the Go progra

Go51mit

5 years ago

fcmfirebasefirebase-cloud-messaging

demo_web_zip_wasm

demo_web_zip_wasm

A simple example program for creating password archives in ZIP format, running i

Rust4

6 months ago

vue-dd-form

vue-dd-form

📋 Fresh way to create simple or complex forms – without programming!

Vue80mit

3 years ago

CwlSignal

A Swift framework for reactive programming.

Swift303isc

3 years ago

froid

A library for using the Frege programming language in Android development.

Frege100

7 years ago

androidandroid-developmentfrege

gottlob

A build tool for the Frege programming language.

Frege0

8 years ago

core

core

MetaCall: The ultimate polyglot programming experience.

C1529apache-2.0

4 months ago

ccppdocker

cascadia-code

cascadia-code

This is a fun, new monospaced font that includes programming ligatures and is de

Python25996other

3 months ago

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

Jupyter Notebook4537mit

3 months ago

coding-katahacktoberfestqsharp

shapeless

Generic programming for Scala

Scala3374apache-2.0

4 months ago

fpfunctional-programminggeneric-programming

onlytoday

📅 An esoteric programming language for no reason whatsoever.

JavaScript10

7 years ago

esolangesolangsesoteric

functionalgroovy

Functional programming in Groovy

Groovy67

9 years ago

epi

Solutions for Elements of Programming Interviews problems written in Golang (wor

Go530mit

2 years ago

commander

Command-line interface builder for the Crystal programming language.

Crystal128mit

4 years ago

Cflat

An interpreter for C flat, a music-based programming language

C27mit

4 years ago

dunit

Advanced unit testing toolkit for the D programming language

D62mit

5 years ago

dunit-testing

reactify

The first and only true Functional Reactive Programming framework for Scala.

Scala85mit

4 months ago

frpfrp-libraryreactive

flyd

The minimalistic but powerful, modular, functional reactive programming library

JavaScript1563mit

10 months ago

april

The APL programming language (a subset thereof) compiling to Common Lisp.

Common Lisp602apache-2.0

2 months ago

PharoThings

PharoThings

Live programming platform for IoT projects based on Pharo

Smalltalk89mit

4 years ago

arduinoideiot-platform

scowl

A Scala DSL for programming with the OWL API.

Scala54mit

4 months ago

radiate

A genetic programming engine which evolves solutions through asynchronous specia

Rust146mit

3 years ago

artificial-intelligenceevolutionary-algorithmsgenetic-algorithm

SwiftFoundation

Cross-Platform, Protocol-Oriented Programming base library to complement the Swi

Swift625mit

4 years ago

apple-foundationcross-platformprotocol-oriented

dunnart

LALR(1) Parser Generator for the D Programming Language

D14

7 years ago

numpyro

Probabilistic programming with NumPy powered by JAX for autograd and JIT compila

Python2301apache-2.0

yesterday

bayesian-inferencehmcinference-algorithms

goc

goc

A Comprehensive Coverage Testing System for The Go Programming Language

Go790apache-2.0

5 months ago

coverage-testinggotesting-tools

apheleia

🌷 Run code formatter on buffer contents without moving point, using RCS patches

Emacs Lisp572mit

9 days ago

jacop

Java Constraint Programming solver

Java220other

11 months ago

cl-liballegro

cl-liballegro

Common Lisp bindings and interface to the Allegro 5 game programming library

Common Lisp55zlib

30 days ago

allegro5bindingscffi

rete

rete

JavaScript framework for visual programming

TypeScript9842mit

5 months ago

dataflow-programmingflow-based-programminggraph-editor

pyquil

A Python library for quantum programming using Quil.

Python1410apache-2.0

8 days ago

forestquantum-computingquantum-programming

onenord.nvim

onenord.nvim

🏔️ A Neovim theme that combines the Nord and Atom One Dark color palettes for a

Lua528mit

2 months ago

luaneovimneovim-colorscheme

pyrobottraining

Teaches students Robot programming in python by having them create code that pas

Python7

9 years ago

frc-robotpythonrobotpy

Prelude

Swift µframework of simple functional programming tools

Swift411mit

6 years ago

TailBlazer

TailBlazer

A modern file tail utility based on Rx.Net which show cases reactive programming

C#2215gpl-3.0

2 years ago

HTPLcompiler

HTPL is a programming language based on HTML

JavaScript10

4 years ago

htmlhtpl-compilerprogramming-language

LightGraphs.jl

An optimized graphs package for the Julia programming language

Julia672other

3 years ago

graphgraph-algorithmsgraph-analytics

quid-pro-quo

A contract programming library for Common Lisp in the style of Eiffel’s Design b

Common Lisp94other

6 years ago

common-lispdesign-by-contracteiffel

rayex

rayex

Raylib binds to elixir for games programming

Elixir40apache-2.0

5 months ago

bindingselixirraylib

caide

caide

Automates certain common tasks that you do during programming competitions

Haskell86

last year

codechefcodeforcescommand-line-tool

modf

A setf like macro for functional programming

Common Lisp63bsd-3-clause

4 years ago

Mach7

Mach7

Functional programming style pattern-matching library for C++

C++1278other

3 years ago

adtalgebraic-data-typespattern

shader-school

shader-school

:mortar_board: A workshopper for GLSL shaders and graphics programming

JavaScript4275other

4 years ago

emacs4cl

emacs4cl

A tiny DIY kit to set up vanilla Emacs for Common Lisp programming

Emacs Lisp379mit

9 months ago

common-lispdark-themeemacs

papyrus

A Literate Programming Tool: Common Lisp + Markdown / Org mode

Common Lisp45mit

7 months ago

common-lispliterate-programmingmarkdown

react-as3

A signals/slots and functional reactive programming library for ActionScript

ActionScript32other

6 years ago

fpGo

Monad, Functional Programming features for Golang

Go347mit

last year

actor-modelcollectioncurry

gcm

Google Cloud Messaging for application servers implemented using the Go programm

Go31mit

9 years ago

guides

A guide for programming in style.

Ruby9465

2 months ago

GameNetworkingResources

GameNetworkingResources

A Curated List of Multiplayer Game Network Programming Resources

C7274

4 months ago

cppcsharpgame

FiraCode

FiraCode

Free monospaced font with programming ligatures

Clojure77256ofl-1.1

17 days ago

fontligaturesprogramming-ligatures

progress_bar.cr

progress_bar.cr

A ProgressBar implementation for the Crystal programming language

Crystal15mit

9 months ago

Swiftz

Functional programming in Swift

Swift3332bsd-3-clause

2 years ago

functional-programmingswift

Turtle

Turtle

A programming language that utilizes long-term storage for space consumption

Java5

5 years ago

3DSHaxe

make 3ds homebrew with the haxe programming language!

C30

last year

RESTRequest4Delphi

RESTRequest4Delphi

API to consume REST services written in any programming language with support to

Pascal533mit

last month

apiclientdelphi

fungp

A genetic programming library for Clojure

Clojure100gpl-3.0

11 years ago

ZigGBA

ZigGBA

Work in progress SDK for creating Game Boy Advance games using Zig programming l

Zig342mit

8 months ago

gbasdkzig

GRIP

GRIP

Program for rapidly developing computer vision applications

Java379other

3 years ago

cameracomputer-visionfirst-frc

ctpg

Compile-Time Parser Generator in D programming language.

D45

10 years ago