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)

3799

last month

cdf-program-logics

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

Coq32

3 years ago

grooves-game-boy-programming

GBDK tutorials

C84

last year

functional-programming-jargon

Jargon from the functional programming world in simple terms!

18496mit

6 months ago

fpfunctional-programming

awesome-programming-for-kids

A curated list of resources for teaching kids programming.

1015cc0-1.0

2 years ago

awesomeawesome-listipad

OOPInFPInSwift

Object-Oriented Programming in Functional Programming in Swift (4, I think)

Swift59

6 years ago

functional-programming-learning-path

A Learning Path for Functional Programming

Clojure964mit

4 months ago

clojurefunctional-languagesfunctional-programming

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.

87

4 years ago

ansiasciibitmap-fonts

the-little-introduction-to-programming

The Little Introduction To Programming

CSS43

4 years ago

functional-programming

Organize material to teach functional programming using Elixir

Elixir361

4 years ago

awesome-competitive-programming

:gem: A curated list of awesome Competitive Programming, Algorithm and Data Stru

12049cc-by-4.0

2 months ago

algorithmawesomeawesome-list

Clojush

The Push programming language and the PushGP genetic programming system implemen

Clojure326epl-1.0

11 months ago

clojuregenetic-programminginterpreter

awesome-functional-programming

:alien: A curated list of functional programming resources such as blog posts, c

926

21 days ago

Qt5-C-GUI-Programming-Cookbook

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

JavaScript101mit

last year

awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional p

3393

3 months ago

awesome-functional-programmingawesome-listawsome

parallel-programming-in-multicore-ocaml

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

OCaml274isc

last month

multicoreocaml

simulator-program

Software for the CAN bus simulator on the Rasperry Pi

Go59mit

8 years ago

mozfest-program

mozfest-program

Where we're reviewing and scheduling the Mozfest sessions.

45

5 years ago

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 Notebook26218mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

free-programming-books

:books: Freely available programming books

316897cc-by-4.0

20 days ago

bookseducationhacktoberfest

workrave

Workrave is a program that assists in the recovery and prevention of Repetitive

C++1265gpl-3.0

last year

Bitcoin-Programming-with-BitcoinJS

Bitcoin Programming with BitcoinJS, Bitcoin Core and LND

CSS159mpl-2.0

last year

antorabitcoinbitcoin-core

pdr

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

HTML108other

last year

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in

Ada2gpl-3.0

4 years ago

pushblast

Get PushBullet notifications when a shell program exits.

Shell97mit

8 years ago

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go368mit

last year

aacgogolang

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook18mit

last year

algorandavmblockchain

CatBoxForAndroid

CatBoxForAndroid

CatBox is a universal proxy program for Android using sing-box. It was adapted f

Kotlin276other

6 months ago

hysterianaiveproxy

statsviz

statsviz

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

Go3077mit

2 months ago

garbage-collectorgogolang

popl

Header-only C++ program options parser library

C++152mit

last year

argument-parserbash-completioncommand-line-parser

gpstest

gpstest

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

Kotlin1562apache-2.0

2 months ago

WavesAffi

Decentralized affiliate program on Waves blockchain

Vue1

5 years ago

dip

dip

Development-environment CLI program providing the native-like interaction with a

Ruby1198mit

5 months ago

bashclidocker

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go584mit

last month

aacgogolang

Chaosreader

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

217

3 years ago

learning_torch

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

Lua26

9 years ago

Gooey

Gooey

Turn (almost) any Python command line program into a full GUI application with o

Python17993mit

7 months ago

contracts

contracts

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

Clarity71gpl-3.0

last year

cmark

CommonMark parsing and rendering library and program in C

C1538other

3 months ago

pgFormatter

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

PLpgSQL1593postgresql

24 days ago

gcvis

gcvis

Visualise Go program GC trace data in real time

Go1092bsd-2-clause

5 years ago

DerelictCUDA

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

D17

5 years ago

DerelictGL3

A dynamic binding to OpenGL for the D Programming Language.

D80

5 years ago

kreuung-ching

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

Java0other

8 months ago

shelf

being a CLI program to bookmark files

Rust0mit

6 months ago

luastatic

Build a standalone executable from a Lua program.

Lua736cc0-1.0

6 months ago

lua

corelocationcli

Command line program to print location information from CoreLocation

Swift206mit

last year

applicationcorelocationgps

raspberrypi_tempmon

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

Python73other

4 months ago

armcpucpu-monitoring

orm

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

Go153mit

8 months ago

databasegenericsgo

shipshape

Program analysis platform

Go268apache-2.0

5 years ago

ferium

ferium

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

Rust994mpl-2.0

2 months ago

curseforgegithub-releasesminecraft

weaver

weaver

Trace Go program execution with uprobes and eBPF

Go290mpl-2.0

8 months ago

bccebpfgo

Detect-It-Easy

Detect-It-Easy

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

JavaScript6549mit

18 hours ago

binary-analysisdebuggerdetect

hunt

hunt

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

D93apache-2.0

3 months ago

asynchronouscollectionconcurrency

hunt-net

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

D19apache-2.0

2 years ago

codecsocketssl

kickoff

kickoff

Minimalistic program launcher

Rust307gpl-3.0

2 months ago

launcherrustwayland

Thue

The Thue programming language: Programming with grammars

C26gpl-3.0

10 years ago

FlintPlusPlus

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

C++263bsl-1.0

5 years ago

rdt

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

Java4apache-2.0

3 years ago

Qurry

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

TeX24mit

4 years ago

KeyPress-OSD

KeyPress-OSD

This program is an On-Screen Display or a Heads-Up Display for keys. It displays

AutoHotkey290

last year

ahkautohotkeydesktop-computer

xbar

xbar

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

Go17239mit

4 months ago

bitbarmacmacos-menu

GtkAda_OpenAL_Doppler_Effect_Sample2

GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.

Ada2

last year

Tarok

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

Dart14agpl-3.0

11 days ago

card-gamecard-gamesdart

promotion-text-kata

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

JavaScript0mit

3 years ago

tkd

tkd

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

D116mit

3 years ago

dgui-toolkit

rustybgp

rustybgp

BGP implemented in the Rust Programming Language

Rust446apache-2.0

3 months ago

Whaler

Program to reverse Docker images into Dockerfiles

Go1006gpl-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.

Python27mit

2 years ago

Pegged

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

D532

7 months ago

q_sharp_bell_state

Q# Bell State Program

C#2mit

6 years ago

qsharpquantum-computing

cdeploy

Simple Python program for managing Cassandra schema migrations

Python9apache-2.0

7 years ago

AxiTurtle

Program AxiDraw with turtle graphics commands in Processing

Processing15

6 years ago

autovala

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

Vala107gpl-3.0

6 years ago

RxSwift

RxSwift

Reactive Programming in Swift

Swift24154mit

yesterday

functionaliosobserver

CommandTrayHost

A command line program monitor systray for Windows

C++378mit

3 years ago

command-linecommand-line-tooljson

rustbot

Rust programming language bot for Discord

Rust7mit

10 months ago

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

Java48lgpl-2.1

4 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.

C77gpl-2.0

3 years ago

TerminalImageViewer

TerminalImageViewer

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

C++1490other

yesterday

ansi-colorsascii-graphicscpp

fpGo

Monad, Functional Programming features for Golang

Go336mit

5 months ago

actor-modelcollectioncurry

fpRust

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

Rust114mit

3 years ago

actor-modelasynccoroutine

DOSCommand

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

Pascal94other

8 months ago

Inkscape_electric_Symbols

Inkscape_electric_Symbols

Electrical symbol library for the vector graphics program Inkscape.

318cc0-1.0

11 days ago

electric-circuitselectrical-circuitselectrical-engineering

AppImage-Integrator

AppImage-Integrator

A simple program to integrate AppImages into the Linux desktop.

C++2gpl-3.0

last year

shelf

being a CLI program to bookmark files

Rust0mit

6 months ago

MiniLayout

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

Swift8mit

5 years ago

autolayoutswiftsyntactic-sugar

mediascanner

Android program to gather local audio files in a database, auxiliary to my music

C5gpl-3.0

2 years ago

androidclassical musictag reader

qbit

qbit

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

Java710apache-2.0

6 years ago

actorawshealth

Sanmill

Sanmill

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

C++130gpl-3.0

2 days ago

aialpha-beta-pruningbitboard

Line-us-Programming

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

Python108gpl-3.0

3 years ago

drawingdrawing-machinegcode-commands

ispc

Intel® Implicit SPMD Program Compiler

C++2386bsd-3-clause

27 days ago

compilerintelispc

is-even

I created this in 2014, when I was learning how to program.

JavaScript186mit

6 years ago

Geometry-Swift-PlaygroundBook

Geometry-Swift-PlaygroundBook

In this course your students will learn the fundamentals of Swift 3 programming,

Swift9

4 years ago

geometryplaygroundbookswift

sui

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

Rust5535apache-2.0

2 months ago

blockchaindistributed-ledger-technologymove

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed

Rust437apache-2.0

2 months ago

blockchaincompilercryptography

PhotoFlow

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

C++304gpl-3.0

3 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

TeX141other

last year

gopcap

A simple wrapper around libpcap for the Go programming language

Go484bsd-3-clause

3 years ago

goroslib

ROS client library for the Go programming language

Go252mit

last year

gogolangrobot-operating-system

Persimmon

Persimmon

A visual dataflow programming language for sklearn

Python192mit

3 years ago

dataflow-programmingvisual-interfacevisual-programming

MXFusion

MXFusion

Modular Probabilistic Programming on MXNet

Python102apache-2.0

last year

bayesian-inferencemachine-learningmxnet

chuckscript

Chuck Norris Programming Language

JavaScript32mit

8 years ago

chuck-norrisesoteric-languagejavascript

waterfall

waterfall

A slice of functional programming to chain ruby services and blocks, thus provid

Ruby610mit

4 years ago

gameboy

Exploring Game Boy programming techniques.

Shell73mit

6 years ago

bacon.js

bacon.js

Functional reactive programming library for TypeScript and JavaScript

TypeScript6448mit

10 months ago

audiowaveform

audiowaveform

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

C++1786gpl-3.0

2 months ago

audioc-plus-plus

goroslib

ROS client library for the Go programming language

Go294mit

3 months ago

gogolangrobot-operating-system

syringe

Basic DI for the Crystal programming language

Crystal6mit

4 years ago

Throttler

Throttler

One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming su

Swift93mit

7 months ago

asyncasynchronous-programmingcocoa

dlangui

dlangui

Cross Platform GUI for D programming language

D767bsl-1.0

7 months ago

cross-platform-guiddlangui

graphqld

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

D34lgpl-3.0

4 months ago

ddlanggraphql

certmagic

certmagic

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

Go4749apache-2.0

2 months ago

acmeautomatic-httpsgo

clib

clib

Package manager for the C programming language.

C4708mit

4 months ago

cclibmanager

FunctionalProgrammingDesignPatterns

Playground with Functional Programming design patterns and some functional techn

Swift5

7 years ago

precept

precept

A declarative programming framework

Clojure651mit

last year

clojureclojurescriptdeclarative-programming

libserial

Serial Port Programming in C++

C++342bsd-3-clause

6 months ago

linuxrs-232rs232

icr

icr

Interactive console for Crystal programming language

Crystal498mit

3 years ago

crystalrepl

most

Ultra-high performance reactive programming

JavaScript3491mit

last year

linmath.h

a lean linear math library, aimed at graphics programming. Supports vec3, vec4,

C874wtfpl

11 months ago

SwiftParsec

A parser combinator library written in the Swift programming language.

Swift226bsd-2-clause

2 years ago

functionalparserparser-combinators

ReactiveKit

A Swift Reactive Programming Kit

Swift1235mit

last year

di

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

Go219mit

4 months ago

dependency-injectiondigo

jellylanguage

Jelly is a recreational programming language inspired by J.

Python844mit

4 years ago

DerelictCL

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

D8bsl-1.0

4 years ago

crz

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

Crystal90mit

3 years ago

DCD

DCD

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

D344gpl-3.0

3 months ago

autocompletecode-completiond

scid

Scientific library for the D programming language

D89bsl-1.0

4 years ago

FunctionalPlus

FunctionalPlus

Functional Programming Library for C++. Write concise and readable C++ code.

C++1987bsl-1.0

last month

algorithmsc-plus-plusc-plus-plus-14

Kotlin101

101 examples for Kotlin Programming language.

Kotlin191other

8 years ago

Data-Science-45min-Intros

Ipython notebook presentations for getting starting with basic programming, stat

Jupyter Notebook1567unlicense

5 years ago

TypeShape

Practical generic programming for F#

F#276mit

5 months ago

fsharpgeneric-programming

dots

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

Python5unlicense

3 years ago

prelude-ts

Functional programming, immutable collections and FP constructs for typescript a

TypeScript375isc

last year

data-structuresfpfunctional-programming

monicelli

An esoteric programming language, come se fosse antani.

C++1305gpl-3.0

last year

writing_an_interpreter_in_elixir

Elixir implementation of an interpreter for the Monkey programming language

Elixir134

last year

elixirinterpretermonkey

jsemu

A list of emulators written in the JavaScript programming language

1686

6 months ago

emscriptenemulatorjavascript

aixt

Programming framework for microcontrollers based on a V-like language.

V21mit

2 months ago

compiled-languagemicrocontrollersprogramming-language

dqml

Qt Qml bindings for the D programming language

D41lgpl-3.0

2 years ago

datum

pure functional and generic programming for Erlang

Erlang119apache-2.0

8 months ago

algebraic-data-typescategory-patterndata-structures

spookyc

spookyc

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml150mit

5 years ago

boofearghost

di

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

Go188mit

12 months ago

dependency-injectiondigo

minimock

Powerful mock generation tool for Go programming language

Go519mit

6 months ago

mock

GoMock is a mocking framework for the Go programming language.

Go9193apache-2.0

3 months ago

config

A lightweight yet powerful configuration manager for the Go programming language

Go357mit

last year

configconfig-managementconfig-manager

agera

Reactive Programming for Android

Java7211apache-2.0

2 years ago

ageraandroidreactive

suzy

A three-dimensional esoteric programming language

Python8

14 years ago

cursive

cursive

A Text User Interface library for the Rust programming language

Rust3914mit

4 months ago

ncursesrustterminal

brucelib

brucelib

A monorepo of modules for programming portable, high-performance, soft-real-time

Zig49apache-2.0

2 years ago

game-developmentgraphicszig

monkeys

A strongly-typed genetic programming framework for Python

Python118

6 years ago

aiant-colony-optimizationframework

gounit

gounit

Unit tests generator for Go programming language

Go72other

6 years ago

generatorgogolang

javelin

Spreadsheet-like dataflow programming in ClojureScript.

Clojure787

6 months ago

swifter

Tiny http server engine written in Swift programming language.

Swift3838bsd-3-clause

last month

httpserverswift

vertx-mongodb-effect

vertx-mongodb-effect

Where actors meet Functional Programming

Java2

5 months ago

functional-programmingjson-valuesmongo-values

ironpython2

ironpython2

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

Python1059apache-2.0

2 months ago

rustbot

Rust programming language bot for Discord

Rust1mit

last year

orange

A serialization library for the D programming language.

D71

4 years ago

fp-core.rs

fp-core.rs

A library for functional programming in Rust

Rust1282mit

2 years ago

applicativecategory-theorycomonad

leaps

leaps

A pair programming service using operational transforms

Go743mit

last year

gogolangoperational-transform

Enterprise

Enterprise

🦄 The Enterprise™ programming language

JavaScript1584

11 months ago

ajaxartificial-intelligencecloud

websocketd

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but

Go16981bsd-2-clause

6 months ago

proxywebsocket-serverwebsockets

Flow

Operation Oriented Programming in Swift

Swift217mit

7 years ago

asyncoperationsswift

dots

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

Python5unlicense

3 years ago

libextobjc

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

Objective-C4534mit

5 years ago

crystalline

A collection of containers & algorithms for the Crystal programming language

Crystal127mit

8 months ago

algorithmscrystal

lunum

Numeric arrays for the Lua programming language

C34

12 years ago

fn.py

Functional programming in Python: implementation of missing features to enjoy FP

Python3318other

2 years ago

qml_zig

qml_zig

QML bindings for the Zig programming language

Zig61apache-2.0

7 months ago

qml-bindingsqml-zigzig

cells

A Common Lisp implementation of the dataflow programming paradigm

Common Lisp203

last year

lptrace

Trace any Python program, anywhere!

Python699gpl-3.0

5 years ago

RoslynQuoter

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

C#859apache-2.0

7 months ago

kokkos

kokkos

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

C++1699other

27 days ago

abstractionc-plus-plushigh-performance-computing

kleene-lang

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

Java14apache-2.0

5 years ago

3DSHaxe

make 3ds homebrew with the haxe programming language!

C27

9 months ago

karoo_gp

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

Python153other

last year

jscpd

jscpd

Copy/paste detector for programming source code.

TypeScript4492mit

2 months ago

clones-detectioncode-qualitycopy-paste

diy-lang

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

Python551bsd-3-clause

last year

stas

A stack based compiled programming language.

Assembly25gpl-3.0

last year

assemblycompilerfasm

ADAPT

Advanced Developer Async Programming Toolkit

Pascal38other

6 years ago

asyncclusteringevent

Curryfy

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

C#57apache-2.0

8 months ago

csharpcurrycurrying

concurrentlua

Concurrency oriented programming in Lua

Lua158mit

9 years ago

mcsema

mcsema

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

C++2575agpl-3.0

2 years ago

aarch64binary-analysisida

walk

walk

A Windows GUI toolkit for the Go Programming Language

Go6677other

3 months ago

declarativedeclarative-uigo

fcm

Firebase Cloud Messaging for application servers implemented using the Go progra

Go50mit

4 years ago

fcmfirebasefirebase-cloud-messaging

vue-dd-form

vue-dd-form

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

Vue79mit

2 years ago

CwlSignal

A Swift framework for reactive programming.

Swift304isc

3 years ago

froid

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

Frege100

6 years ago

androidandroid-developmentfrege

gottlob

A build tool for the Frege programming language.

Frege0

7 years ago

Logician

Logic programming in Swift

Swift195mit

4 years ago

constraintskanrenlogic-programming

core

core

MetaCall: The ultimate polyglot programming experience.

C1461apache-2.0

2 months ago

ccppdocker

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

Jupyter Notebook4455mit

2 months ago

coding-katahacktoberfestqsharp

shapeless

Generic programming for Scala

Scala3352apache-2.0

2 months ago

fpfunctional-programminggeneric-programming

onlytoday

📅 An esoteric programming language that really challenges your brain!

JavaScript8

6 years ago

esolangesolangsesoteric

functionalgroovy

Functional programming in Groovy

Groovy67

9 years ago

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)

3799

last month

cdf-program-logics

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

Coq32

3 years ago

grooves-game-boy-programming

GBDK tutorials

C84

last year

functional-programming-jargon

Jargon from the functional programming world in simple terms!

18496mit

6 months ago

fpfunctional-programming

awesome-programming-for-kids

A curated list of resources for teaching kids programming.

1015cc0-1.0

2 years ago

awesomeawesome-listipad

OOPInFPInSwift

Object-Oriented Programming in Functional Programming in Swift (4, I think)

Swift59

6 years ago

functional-programming-learning-path

A Learning Path for Functional Programming

Clojure964mit

4 months ago

clojurefunctional-languagesfunctional-programming

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.

87

4 years ago

ansiasciibitmap-fonts

the-little-introduction-to-programming

The Little Introduction To Programming

CSS43

4 years ago

functional-programming

Organize material to teach functional programming using Elixir

Elixir361

4 years ago

awesome-competitive-programming

:gem: A curated list of awesome Competitive Programming, Algorithm and Data Stru

12049cc-by-4.0

2 months ago

algorithmawesomeawesome-list

Clojush

The Push programming language and the PushGP genetic programming system implemen

Clojure326epl-1.0

11 months ago

clojuregenetic-programminginterpreter

awesome-functional-programming

:alien: A curated list of functional programming resources such as blog posts, c

926

21 days ago

Qt5-C-GUI-Programming-Cookbook

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

JavaScript101mit

last year

awesome-functional-programming

Yet another resource for collecting articles, videos etc. regarding functional p

3393

3 months ago

awesome-functional-programmingawesome-listawsome

parallel-programming-in-multicore-ocaml

parallel-programming-in-multicore-ocaml

Tutorial on Multicore OCaml parallel programming with domainslib

OCaml274isc

last month

multicoreocaml

simulator-program

Software for the CAN bus simulator on the Rasperry Pi

Go59mit

8 years ago

mozfest-program

mozfest-program

Where we're reviewing and scheduling the Mozfest sessions.

45

5 years ago

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 Notebook26218mit

5 months ago

bayesian-methodsdata-sciencejupyter-notebook

free-programming-books

:books: Freely available programming books

316897cc-by-4.0

20 days ago

bookseducationhacktoberfest

workrave

Workrave is a program that assists in the recovery and prevention of Repetitive

C++1265gpl-3.0

last year

Bitcoin-Programming-with-BitcoinJS

Bitcoin Programming with BitcoinJS, Bitcoin Core and LND

CSS159mpl-2.0

last year

antorabitcoinbitcoin-core

pdr

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

HTML108other

last year

Lunar_Lander_Rotation_Demo

Demonstration program that interacts with the AdaFruit BNO055 breakout board in

Ada2gpl-3.0

4 years ago

pushblast

Get PushBullet notifications when a shell program exits.

Shell97mit

8 years ago

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go368mit

last year

aacgogolang

graviton

graviton

🧑‍🔬 verify your TEAL program by experiment and observation

Jupyter Notebook18mit

last year

algorandavmblockchain

CatBoxForAndroid

CatBoxForAndroid

CatBox is a universal proxy program for Android using sing-box. It was adapted f

Kotlin276other

6 months ago

hysterianaiveproxy

statsviz

statsviz

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

Go3077mit

2 months ago

garbage-collectorgogolang

popl

Header-only C++ program options parser library

C++152mit

last year

argument-parserbash-completioncommand-line-parser

gpstest

gpstest

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

Kotlin1562apache-2.0

2 months ago

WavesAffi

Decentralized affiliate program on Waves blockchain

Vue1

5 years ago

dip

dip

Development-environment CLI program providing the native-like interaction with a

Ruby1198mit

5 months ago

bashclidocker

gortsplib

RTSP 1.0 client and server library for the Go programming language

Go584mit

last month

aacgogolang

Chaosreader

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

217

3 years ago

learning_torch

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

Lua26

9 years ago

Gooey

Gooey

Turn (almost) any Python command line program into a full GUI application with o

Python17993mit

7 months ago

contracts

contracts

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

Clarity71gpl-3.0

last year

cmark

CommonMark parsing and rendering library and program in C

C1538other

3 months ago

pgFormatter

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

PLpgSQL1593postgresql

24 days ago

gcvis

gcvis

Visualise Go program GC trace data in real time

Go1092bsd-2-clause

5 years ago

DerelictCUDA

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

D17

5 years ago

DerelictGL3

A dynamic binding to OpenGL for the D Programming Language.

D80

5 years ago

kreuung-ching

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

Java0other

8 months ago

shelf

being a CLI program to bookmark files

Rust0mit

6 months ago

luastatic

Build a standalone executable from a Lua program.

Lua736cc0-1.0

6 months ago

lua

corelocationcli

Command line program to print location information from CoreLocation

Swift206mit

last year

applicationcorelocationgps

raspberrypi_tempmon

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

Python73other

4 months ago

armcpucpu-monitoring

orm

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

Go153mit

8 months ago

databasegenericsgo

shipshape

Program analysis platform

Go268apache-2.0

5 years ago

ferium

ferium

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

Rust994mpl-2.0

2 months ago

curseforgegithub-releasesminecraft

weaver

weaver

Trace Go program execution with uprobes and eBPF

Go290mpl-2.0

8 months ago

bccebpfgo

Detect-It-Easy

Detect-It-Easy

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

JavaScript6549mit

18 hours ago

binary-analysisdebuggerdetect

hunt

hunt

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

D93apache-2.0

3 months ago

asynchronouscollectionconcurrency

hunt-net

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

D19apache-2.0

2 years ago

codecsocketssl

kickoff

kickoff

Minimalistic program launcher

Rust307gpl-3.0

2 months ago

launcherrustwayland

Thue

The Thue programming language: Programming with grammars

C26gpl-3.0

10 years ago

FlintPlusPlus

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

C++263bsl-1.0

5 years ago

rdt

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

Java4apache-2.0

3 years ago

Qurry

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

TeX24mit

4 years ago

KeyPress-OSD

KeyPress-OSD

This program is an On-Screen Display or a Heads-Up Display for keys. It displays

AutoHotkey290

last year

ahkautohotkeydesktop-computer

xbar

xbar

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

Go17239mit

4 months ago

bitbarmacmacos-menu

GtkAda_OpenAL_Doppler_Effect_Sample2

GTKAda OpenAL Sample Program. Moving airplane causes Doppler effect.

Ada2

last year

Tarok

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

Dart14agpl-3.0

11 days ago

card-gamecard-gamesdart

promotion-text-kata

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

JavaScript0mit

3 years ago

tkd

tkd

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

D116mit

3 years ago

dgui-toolkit

rustybgp

rustybgp

BGP implemented in the Rust Programming Language

Rust446apache-2.0

3 months ago

Whaler

Program to reverse Docker images into Dockerfiles

Go1006gpl-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.

Python27mit

2 years ago

Pegged

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

D532

7 months ago

q_sharp_bell_state

Q# Bell State Program

C#2mit

6 years ago

qsharpquantum-computing

cdeploy

Simple Python program for managing Cassandra schema migrations

Python9apache-2.0

7 years ago

AxiTurtle

Program AxiDraw with turtle graphics commands in Processing

Processing15

6 years ago

autovala

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

Vala107gpl-3.0

6 years ago

RxSwift

RxSwift

Reactive Programming in Swift

Swift24154mit

yesterday

functionaliosobserver

CommandTrayHost

A command line program monitor systray for Windows

C++378mit

3 years ago

command-linecommand-line-tooljson

rustbot

Rust programming language bot for Discord

Rust7mit

10 months ago

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

Java48lgpl-2.1

4 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.

C77gpl-2.0

3 years ago

TerminalImageViewer

TerminalImageViewer

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

C++1490other

yesterday

ansi-colorsascii-graphicscpp

fpGo

Monad, Functional Programming features for Golang

Go336mit

5 months ago

actor-modelcollectioncurry

fpRust

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

Rust114mit

3 years ago

actor-modelasynccoroutine

DOSCommand

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

Pascal94other

8 months ago

Inkscape_electric_Symbols

Inkscape_electric_Symbols

Electrical symbol library for the vector graphics program Inkscape.

318cc0-1.0

11 days ago

electric-circuitselectrical-circuitselectrical-engineering

AppImage-Integrator

AppImage-Integrator

A simple program to integrate AppImages into the Linux desktop.

C++2gpl-3.0

last year

shelf

being a CLI program to bookmark files

Rust0mit

6 months ago

MiniLayout

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

Swift8mit

5 years ago

autolayoutswiftsyntactic-sugar

mediascanner

Android program to gather local audio files in a database, auxiliary to my music

C5gpl-3.0

2 years ago

androidclassical musictag reader

qbit

qbit

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

Java710apache-2.0

6 years ago

actorawshealth

Sanmill

Sanmill

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

C++130gpl-3.0

2 days ago

aialpha-beta-pruningbitboard

Line-us-Programming

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

Python108gpl-3.0

3 years ago

drawingdrawing-machinegcode-commands

ispc

Intel® Implicit SPMD Program Compiler

C++2386bsd-3-clause

27 days ago

compilerintelispc

is-even

I created this in 2014, when I was learning how to program.

JavaScript186mit

6 years ago

Geometry-Swift-PlaygroundBook

Geometry-Swift-PlaygroundBook

In this course your students will learn the fundamentals of Swift 3 programming,

Swift9

4 years ago

geometryplaygroundbookswift

sui

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

Rust5535apache-2.0

2 months ago

blockchaindistributed-ledger-technologymove

cairo-vm

cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed

Rust437apache-2.0

2 months ago

blockchaincompilercryptography

PhotoFlow

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

C++304gpl-3.0

3 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

TeX141other

last year

gopcap

A simple wrapper around libpcap for the Go programming language

Go484bsd-3-clause

3 years ago

goroslib

ROS client library for the Go programming language

Go252mit

last year

gogolangrobot-operating-system

Persimmon

Persimmon

A visual dataflow programming language for sklearn

Python192mit

3 years ago

dataflow-programmingvisual-interfacevisual-programming

MXFusion

MXFusion

Modular Probabilistic Programming on MXNet

Python102apache-2.0

last year

bayesian-inferencemachine-learningmxnet

chuckscript

Chuck Norris Programming Language

JavaScript32mit

8 years ago

chuck-norrisesoteric-languagejavascript

waterfall

waterfall

A slice of functional programming to chain ruby services and blocks, thus provid

Ruby610mit

4 years ago

gameboy

Exploring Game Boy programming techniques.

Shell73mit

6 years ago

bacon.js

bacon.js

Functional reactive programming library for TypeScript and JavaScript

TypeScript6448mit

10 months ago

audiowaveform

audiowaveform

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

C++1786gpl-3.0

2 months ago

audioc-plus-plus

goroslib

ROS client library for the Go programming language

Go294mit

3 months ago

gogolangrobot-operating-system

syringe

Basic DI for the Crystal programming language

Crystal6mit

4 years ago

Throttler

Throttler

One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming su

Swift93mit

7 months ago

asyncasynchronous-programmingcocoa

dlangui

dlangui

Cross Platform GUI for D programming language

D767bsl-1.0

7 months ago

cross-platform-guiddlangui

graphqld

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

D34lgpl-3.0

4 months ago

ddlanggraphql

certmagic

certmagic

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

Go4749apache-2.0

2 months ago

acmeautomatic-httpsgo

clib

clib

Package manager for the C programming language.

C4708mit

4 months ago

cclibmanager

FunctionalProgrammingDesignPatterns

Playground with Functional Programming design patterns and some functional techn

Swift5

7 years ago

precept

precept

A declarative programming framework

Clojure651mit

last year

clojureclojurescriptdeclarative-programming

libserial

Serial Port Programming in C++

C++342bsd-3-clause

6 months ago

linuxrs-232rs232

icr

icr

Interactive console for Crystal programming language

Crystal498mit

3 years ago

crystalrepl

most

Ultra-high performance reactive programming

JavaScript3491mit

last year

linmath.h

a lean linear math library, aimed at graphics programming. Supports vec3, vec4,

C874wtfpl

11 months ago

SwiftParsec

A parser combinator library written in the Swift programming language.

Swift226bsd-2-clause

2 years ago

functionalparserparser-combinators

ReactiveKit

A Swift Reactive Programming Kit

Swift1235mit

last year

di

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

Go219mit

4 months ago

dependency-injectiondigo

jellylanguage

Jelly is a recreational programming language inspired by J.

Python844mit

4 years ago

DerelictCL

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

D8bsl-1.0

4 years ago

crz

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

Crystal90mit

3 years ago

DCD

DCD

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

D344gpl-3.0

3 months ago

autocompletecode-completiond

scid

Scientific library for the D programming language

D89bsl-1.0

4 years ago

FunctionalPlus

FunctionalPlus

Functional Programming Library for C++. Write concise and readable C++ code.

C++1987bsl-1.0

last month

algorithmsc-plus-plusc-plus-plus-14

Kotlin101

101 examples for Kotlin Programming language.

Kotlin191other

8 years ago

Data-Science-45min-Intros

Ipython notebook presentations for getting starting with basic programming, stat

Jupyter Notebook1567unlicense

5 years ago

TypeShape

Practical generic programming for F#

F#276mit

5 months ago

fsharpgeneric-programming

dots

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

Python5unlicense

3 years ago

prelude-ts

Functional programming, immutable collections and FP constructs for typescript a

TypeScript375isc

last year

data-structuresfpfunctional-programming

monicelli

An esoteric programming language, come se fosse antani.

C++1305gpl-3.0

last year

writing_an_interpreter_in_elixir

Elixir implementation of an interpreter for the Monkey programming language

Elixir134

last year

elixirinterpretermonkey

jsemu

A list of emulators written in the JavaScript programming language

1686

6 months ago

emscriptenemulatorjavascript

aixt

Programming framework for microcontrollers based on a V-like language.

V21mit

2 months ago

compiled-languagemicrocontrollersprogramming-language

dqml

Qt Qml bindings for the D programming language

D41lgpl-3.0

2 years ago

datum

pure functional and generic programming for Erlang

Erlang119apache-2.0

8 months ago

algebraic-data-typescategory-patterndata-structures

spookyc

spookyc

A compiler for the 🎃 Spooky 😱 programming language 👻

OCaml150mit

5 years ago

boofearghost

di

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

Go188mit

12 months ago

dependency-injectiondigo

minimock

Powerful mock generation tool for Go programming language

Go519mit

6 months ago

mock

GoMock is a mocking framework for the Go programming language.

Go9193apache-2.0

3 months ago

config

A lightweight yet powerful configuration manager for the Go programming language

Go357mit

last year

configconfig-managementconfig-manager

agera

Reactive Programming for Android

Java7211apache-2.0

2 years ago

ageraandroidreactive

suzy

A three-dimensional esoteric programming language

Python8

14 years ago

cursive

cursive

A Text User Interface library for the Rust programming language

Rust3914mit

4 months ago

ncursesrustterminal

brucelib

brucelib

A monorepo of modules for programming portable, high-performance, soft-real-time

Zig49apache-2.0

2 years ago

game-developmentgraphicszig

monkeys

A strongly-typed genetic programming framework for Python

Python118

6 years ago

aiant-colony-optimizationframework

gounit

gounit

Unit tests generator for Go programming language

Go72other

6 years ago

generatorgogolang

javelin

Spreadsheet-like dataflow programming in ClojureScript.

Clojure787

6 months ago

swifter

Tiny http server engine written in Swift programming language.

Swift3838bsd-3-clause

last month

httpserverswift

vertx-mongodb-effect

vertx-mongodb-effect

Where actors meet Functional Programming

Java2

5 months ago

functional-programmingjson-valuesmongo-values

ironpython2

ironpython2

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

Python1059apache-2.0

2 months ago

rustbot

Rust programming language bot for Discord

Rust1mit

last year

orange

A serialization library for the D programming language.

D71

4 years ago

fp-core.rs

fp-core.rs

A library for functional programming in Rust

Rust1282mit

2 years ago

applicativecategory-theorycomonad

leaps

leaps

A pair programming service using operational transforms

Go743mit

last year

gogolangoperational-transform

Enterprise

Enterprise

🦄 The Enterprise™ programming language

JavaScript1584

11 months ago

ajaxartificial-intelligencecloud

websocketd

Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but

Go16981bsd-2-clause

6 months ago

proxywebsocket-serverwebsockets

Flow

Operation Oriented Programming in Swift

Swift217mit

7 years ago

asyncoperationsswift

dots

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

Python5unlicense

3 years ago

libextobjc

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

Objective-C4534mit

5 years ago

crystalline

A collection of containers & algorithms for the Crystal programming language

Crystal127mit

8 months ago

algorithmscrystal

lunum

Numeric arrays for the Lua programming language

C34

12 years ago

fn.py

Functional programming in Python: implementation of missing features to enjoy FP

Python3318other

2 years ago

qml_zig

qml_zig

QML bindings for the Zig programming language

Zig61apache-2.0

7 months ago

qml-bindingsqml-zigzig

cells

A Common Lisp implementation of the dataflow programming paradigm

Common Lisp203

last year

lptrace

Trace any Python program, anywhere!

Python699gpl-3.0

5 years ago

RoslynQuoter

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

C#859apache-2.0

7 months ago

kokkos

kokkos

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

C++1699other

27 days ago

abstractionc-plus-plushigh-performance-computing

kleene-lang

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

Java14apache-2.0

5 years ago

3DSHaxe

make 3ds homebrew with the haxe programming language!

C27

9 months ago

karoo_gp

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

Python153other

last year

jscpd

jscpd

Copy/paste detector for programming source code.

TypeScript4492mit

2 months ago

clones-detectioncode-qualitycopy-paste

diy-lang

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

Python551bsd-3-clause

last year

stas

A stack based compiled programming language.

Assembly25gpl-3.0

last year

assemblycompilerfasm

ADAPT

Advanced Developer Async Programming Toolkit

Pascal38other

6 years ago

asyncclusteringevent

Curryfy

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

C#57apache-2.0

8 months ago

csharpcurrycurrying

concurrentlua

Concurrency oriented programming in Lua

Lua158mit

9 years ago

mcsema

mcsema

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

C++2575agpl-3.0

2 years ago

aarch64binary-analysisida

walk

walk

A Windows GUI toolkit for the Go Programming Language

Go6677other

3 months ago

declarativedeclarative-uigo

fcm

Firebase Cloud Messaging for application servers implemented using the Go progra

Go50mit

4 years ago

fcmfirebasefirebase-cloud-messaging

vue-dd-form

vue-dd-form

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

Vue79mit

2 years ago

CwlSignal

A Swift framework for reactive programming.

Swift304isc

3 years ago

froid

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

Frege100

6 years ago

androidandroid-developmentfrege

gottlob

A build tool for the Frege programming language.

Frege0

7 years ago

Logician

Logic programming in Swift

Swift195mit

4 years ago

constraintskanrenlogic-programming

core

core

MetaCall: The ultimate polyglot programming experience.

C1461apache-2.0

2 months ago

ccppdocker

cascadia-code

cascadia-code

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

Python24125other

7 days ago

QuantumKatas

Tutorials and programming exercises for learning Q# and quantum computing

Jupyter Notebook4455mit

2 months ago

coding-katahacktoberfestqsharp

shapeless

Generic programming for Scala

Scala3352apache-2.0

2 months ago

fpfunctional-programminggeneric-programming

onlytoday

📅 An esoteric programming language that really challenges your brain!

JavaScript8

6 years ago

esolangesolangsesoteric