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)
3834
22 days ago
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq32
3 years ago
functional-programming-jargon
Jargon from the functional programming world in simple terms!
18496mit
7 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
5 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
A collection of fonts I've modified for PICO-8 programming.
98
4 years ago
ansiasciibitmap-fonts
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
3 months ago
algorithmawesomeawesome-list
Clojush
The Push programming language and the PushGP genetic programming system implemen
Clojure326epl-1.0
last year
clojuregenetic-programminginterpreter
awesome-functional-programming
:alien: A curated list of functional programming resources such as blog posts, c
926
2 months 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
4 months ago
awesome-functional-programmingawesome-listawsome
parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
OCaml274isc
2 months ago
multicoreocaml
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab
Jupyter Notebook26218mit
6 months ago
bayesian-methodsdata-sciencejupyter-notebook
free-programming-books
:books: Freely available programming books
316897cc-by-4.0
2 months ago
bookseducationhacktoberfest
workrave
Workrave is a program that assists in the recovery and prevention of Repetitive
C++1265gpl-3.0
2 years ago
Bitcoin-Programming-with-BitcoinJS
Bitcoin Programming with BitcoinJS, Bitcoin Core and LND
CSS159mpl-2.0
last year
antorabitcoinbitcoin-core
Lunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in
Ada2gpl-3.0
4 years ago
gortsplib
RTSP 1.0 client and server library for the Go programming language
Go368mit
last year
aacgogolang
graviton
🧑🔬 verify your TEAL program by experiment and observation
Jupyter Notebook18mit
last year
algorandavmblockchain
CatBoxForAndroid
CatBox is a universal proxy program for Android using sing-box. It was adapted f
Kotlin276other
7 months ago
hysterianaiveproxy
statsviz
🚀 Visualise your Go program runtime metrics in real time in the browser
Go3077mit
3 months ago
garbage-collectorgogolang
popl
Header-only C++ program options parser library
C++152mit
last year
argument-parserbash-completioncommand-line-parser
dip
Development-environment CLI program providing the native-like interaction with a
Ruby1198mit
6 months ago
bashclidocker
gortsplib
RTSP 1.0 client and server library for the Go programming language
Go584mit
2 months ago
aacgogolang
Chaosreader
An any-snarf program that processes application protocols (HTTP/FTP/...) from tc
217
3 years ago
Gooey
Turn (almost) any Python command line program into a full GUI application with o
Python17993mit
8 months ago
contracts
CityCoins give communities the power to improve and program their cities.
Clarity71gpl-3.0
last year
pgFormatter
A PostgreSQL SQL syntax beautifier that can work as a console program or as a CG
PLpgSQL1611postgresql
11 days ago
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
5 months ago
armcpucpu-monitoring
orm
A lightweight yet powerful, fast, customizable, type-safe object-relational mapp
Go153mit
9 months ago
databasegenericsgo
ferium
Fast and multi-source CLI program for managing Minecraft mods and modpacks from
Rust994mpl-2.0
3 months ago
curseforgegithub-releasesminecraft
Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
JavaScript6673mit
2 days ago
binary-analysisdebuggerdetect
hunt
A refined core library for D programming language. The module has concurrency /
D93apache-2.0
4 months ago
asynchronouscollectionconcurrency
hunt-net
High-performance network library for D programming language, event-driven asynch
D19apache-2.0
2 years ago
codecsocketssl
FlintPlusPlus
Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++
C++263bsl-1.0
5 years ago
Qurry
Qurry (was) a prototype for a functional quantum programming language. It incorp
TeX24mit
4 years ago
KeyPress-OSD
This program is an On-Screen Display or a Heads-Up Display for keys. It displays
AutoHotkey290
last year
ahkautohotkeydesktop-computer
xbar
Put the output from any script or program into your macOS Menu Bar (the BitBar r
Go17239mit
5 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
Dart15agpl-3.0
21 days ago
card-gamecard-gamesdart
promotion-text-kata
An hour-long hands-on practice on readable and maintainable programming
JavaScript0mit
3 years ago
Whaler
Program to reverse Docker images into Dockerfiles
Go1006gpl-3.0
2 years ago
docker-imagedocker-securitydockerfile
micropython-monitor
Display the behaviour of a realtime program with a scope or logic analyser.
Python27mit
2 years ago
autovala
A program that automatically generates CMake and Meson configuration files for y
Vala107gpl-3.0
6 years ago
CommandTrayHost
A command line program monitor systray for Windows
C++378mit
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
graphios
A program to send nagios perf data to graphite (carbon) / statsd / librato / inf
Python289
7 years ago
TerminalImageViewer
Small C++ program to display images in a (modern) terminal using RGB ANSI codes
C++1502other
last month
ansi-colorsascii-graphicscpp
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
9 months ago
Inkscape_electric_Symbols
Electrical symbol library for the vector graphics program Inkscape.
325cc0-1.0
16 days ago
electric-circuitselectrical-circuitselectrical-engineering
AppImage-Integrator
A simple program to integrate AppImages into the Linux desktop.
C++2gpl-3.0
last year
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
The Java microservice lib. QBit is a reactive programming lib for building micro
Java710apache-2.0
6 years ago
actorawshealth
Sanmill
Description Mill Game program, which supports rule variants.Rules:* A player
Dart131gpl-3.0
20 hours ago
aialpha-beta-pruningbitboard
Line-us-Programming
Some very simple examples to get you started with the Line-us API
Python109gpl-3.0
4 years ago
drawingdrawing-machinegcode-commands
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
3 months ago
blockchaindistributed-ledger-technologymove
xdl-generation
CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve
JavaScript32
9 months ago
language-modelplanningrobot
PhotoFlow
A fully non-destructive photo retouching program providing a complete layer-base
C++306gpl-3.0
3 years ago
gbapfomgd
Source code for the book "Game Boy Assembly Programming for the Modern Game Deve
TeX147other
last year
goroslib
ROS client library for the Go programming language
Go252mit
last year
gogolangrobot-operating-system
Persimmon
A visual dataflow programming language for sklearn
Python192mit
3 years ago
dataflow-programmingvisual-interfacevisual-programming
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
A slice of functional programming to chain ruby services and blocks, thus provid
Ruby610mit
4 years ago
bacon.js
Functional reactive programming library for TypeScript and JavaScript
TypeScript6448mit
11 months ago
audiowaveform
C++ program to generate waveform data and render waveform images from audio file
C++1797gpl-3.0
17 days ago
audioc-plus-plus
goroslib
ROS client library for the Go programming language
Go294mit
4 months ago
gogolangrobot-operating-system
Throttler
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming su
Swift93mit
8 months ago
asyncasynchronous-programmingcocoa
dlangui
Cross Platform GUI for D programming language
D767bsl-1.0
8 months ago
cross-platform-guiddlangui
graphqld
A vibe.d library to handle the GraphQL Protocol written in the D Programming Lan
D34lgpl-3.0
2 months ago
ddlanggraphql
certmagic
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and r
Go4749apache-2.0
3 months ago
acmeautomatic-httpsgo
FunctionalProgrammingDesignPatterns
Playground with Functional Programming design patterns and some functional techn
Swift5
7 years ago
precept
A declarative programming framework
Clojure651mit
last year
clojureclojurescriptdeclarative-programming
linmath.h
a lean linear math library, aimed at graphics programming. Supports vec3, vec4,
C874wtfpl
12 months ago
SwiftParsec
A parser combinator library written in the Swift programming language.
Swift226bsd-2-clause
2 years ago
functionalparserparser-combinators
di
🛠 A full-featured dependency injection container for go programming language.
Go219mit
5 months ago
dependency-injectiondigo
DerelictCL
Dynamic bindings to the OpenCL library for the D Programming Language.
D8bsl-1.0
5 years ago
crz
Functional programming library for https://github.com/crystal-lang/crystal
Crystal90mit
3 years ago
DCD
The D Completion Daemon is an auto-complete program for the D programming langua
D344gpl-3.0
4 months ago
autocompletecode-completiond
FunctionalPlus
Functional Programming Library for C++. Write concise and readable C++ code.
C++1987bsl-1.0
2 months ago
algorithmsc-plus-plusc-plus-plus-14
Data-Science-45min-Intros
Ipython notebook presentations for getting starting with basic programming, stat
Jupyter Notebook1569unlicense
5 years ago
prelude-ts
Functional programming, immutable collections and FP constructs for typescript a
TypeScript375isc
last year
data-structuresfpfunctional-programming
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
7 months ago
emscriptenemulatorjavascript
aixt
Programming framework for microcontrollers based on a V-like language.
V21mit
3 months ago
compiled-languagemicrocontrollersprogramming-language
datum
pure functional and generic programming for Erlang
Erlang119apache-2.0
9 months ago
algebraic-data-typescategory-patterndata-structures
di
🛠 A full-featured dependency injection container for go programming language.
Go188mit
last year
dependency-injectiondigo
config
A lightweight yet powerful configuration manager for the Go programming language
Go357mit
last year
configconfig-managementconfig-manager
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
swifter
Tiny http server engine written in Swift programming language.
Swift3846bsd-3-clause
2 months ago
httpserverswift
vertx-mongodb-effect
Where actors meet Functional Programming
Java2
6 months ago
functional-programmingjson-valuesmongo-values
ironpython2
Implementation of the Python programming language for .NET Framework; built on t
Python1059apache-2.0
3 months ago
fp-core.rs
A library for functional programming in Rust
Rust1282mit
2 years ago
applicativecategory-theorycomonad
leaps
A pair programming service using operational transforms
Go743mit
last year
gogolangoperational-transform
Enterprise
🦄 The Enterprise™ programming language
JavaScript1584
last year
ajaxartificial-intelligencecloud
websocketd
Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but
Go16981bsd-2-clause
7 months ago
proxywebsocket-serverwebsockets
libextobjc
A Cocoa library to extend the Objective-C programming language.
Objective-C4533mit
5 years ago
crystalline
A collection of containers & algorithms for the Crystal programming language
Crystal127mit
9 months ago
algorithmscrystal
fn.py
Functional programming in Python: implementation of missing features to enjoy FP
Python3318other
2 years ago
qml_zig
QML bindings for the Zig programming language
Zig61apache-2.0
8 months ago
qml-bindingsqml-zigzig
RoslynQuoter
Roslyn tool that for a given C# program shows syntax tree API calls to construct
C#859apache-2.0
8 months ago
kokkos
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model
C++1699other
2 months 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
Python153other
2 years ago
jscpd
Copy/paste detector for programming source code.
TypeScript4545mit
15 hours ago
clones-detectioncode-qualitycopy-paste
diy-lang
A hands-on, test driven guide to implementing a simple programming language
Python552bsd-3-clause
2 years ago
Curryfy
Provides strongly typed extensions methods for C# delegates to take advantages o
C#57apache-2.0
9 months ago
csharpcurrycurrying
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries
C++2575agpl-3.0
2 years ago
aarch64binary-analysisida
walk
A Windows GUI toolkit for the Go Programming Language
Go6677other
4 months ago
declarativedeclarative-uigo
fcm
Firebase Cloud Messaging for application servers implemented using the Go progra
Go50mit
4 years ago
fcmfirebasefirebase-cloud-messaging
froid
A library for using the Frege programming language in Android development.
Frege100
6 years ago
androidandroid-developmentfrege
cascadia-code
This is a fun, new monospaced font that includes programming ligatures and is de
Python24536other
13 days ago
QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
Jupyter Notebook4455mit
3 months ago
coding-katahacktoberfestqsharp
shapeless
Generic programming for Scala
Scala3352apache-2.0
3 months ago
fpfunctional-programminggeneric-programming
onlytoday
📅 An esoteric programming language that really challenges your brain!
JavaScript8
6 years ago
esolangesolangsesoteric
epi
Solutions for Elements of Programming Interviews problems written in Golang (wor
Go518mit
2 years ago
commander
Command-line interface builder for the Crystal programming language.
Crystal125mit
3 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)
3834
22 days ago
cdf-program-logics
Companion Coq development for Xavier Leroy's 2021 lectures on program logics
Coq32
3 years ago
functional-programming-jargon
Jargon from the functional programming world in simple terms!
18496mit
7 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
5 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
A collection of fonts I've modified for PICO-8 programming.
98
4 years ago
ansiasciibitmap-fonts
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
3 months ago
algorithmawesomeawesome-list
Clojush
The Push programming language and the PushGP genetic programming system implemen
Clojure326epl-1.0
last year
clojuregenetic-programminginterpreter
awesome-functional-programming
:alien: A curated list of functional programming resources such as blog posts, c
926
2 months 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
4 months ago
awesome-functional-programmingawesome-listawsome
parallel-programming-in-multicore-ocaml
Tutorial on Multicore OCaml parallel programming with domainslib
OCaml274isc
2 months ago
multicoreocaml
Probabilistic-Programming-and-Bayesian-Methods-for-Hackers
aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probab
Jupyter Notebook26218mit
6 months ago
bayesian-methodsdata-sciencejupyter-notebook
free-programming-books
:books: Freely available programming books
316897cc-by-4.0
2 months ago
bookseducationhacktoberfest
workrave
Workrave is a program that assists in the recovery and prevention of Repetitive
C++1265gpl-3.0
2 years ago
Bitcoin-Programming-with-BitcoinJS
Bitcoin Programming with BitcoinJS, Bitcoin Core and LND
CSS159mpl-2.0
last year
antorabitcoinbitcoin-core
Lunar_Lander_Rotation_Demo
Demonstration program that interacts with the AdaFruit BNO055 breakout board in
Ada2gpl-3.0
4 years ago
gortsplib
RTSP 1.0 client and server library for the Go programming language
Go368mit
last year
aacgogolang
graviton
🧑🔬 verify your TEAL program by experiment and observation
Jupyter Notebook18mit
last year
algorandavmblockchain
CatBoxForAndroid
CatBox is a universal proxy program for Android using sing-box. It was adapted f
Kotlin276other
7 months ago
hysterianaiveproxy
statsviz
🚀 Visualise your Go program runtime metrics in real time in the browser
Go3077mit
3 months ago
garbage-collectorgogolang
popl
Header-only C++ program options parser library
C++152mit
last year
argument-parserbash-completioncommand-line-parser
dip
Development-environment CLI program providing the native-like interaction with a
Ruby1198mit
6 months ago
bashclidocker
gortsplib
RTSP 1.0 client and server library for the Go programming language
Go584mit
2 months ago
aacgogolang
Chaosreader
An any-snarf program that processes application protocols (HTTP/FTP/...) from tc
217
3 years ago
Gooey
Turn (almost) any Python command line program into a full GUI application with o
Python17993mit
8 months ago
contracts
CityCoins give communities the power to improve and program their cities.
Clarity71gpl-3.0
last year
pgFormatter
A PostgreSQL SQL syntax beautifier that can work as a console program or as a CG
PLpgSQL1611postgresql
11 days ago
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
5 months ago
armcpucpu-monitoring
orm
A lightweight yet powerful, fast, customizable, type-safe object-relational mapp
Go153mit
9 months ago
databasegenericsgo
ferium
Fast and multi-source CLI program for managing Minecraft mods and modpacks from
Rust994mpl-2.0
3 months ago
curseforgegithub-releasesminecraft
Detect-It-Easy
Program for determining types of files for Windows, Linux and MacOS.
JavaScript6673mit
2 days ago
binary-analysisdebuggerdetect
hunt
A refined core library for D programming language. The module has concurrency /
D93apache-2.0
4 months ago
asynchronouscollectionconcurrency
hunt-net
High-performance network library for D programming language, event-driven asynch
D19apache-2.0
2 years ago
codecsocketssl
FlintPlusPlus
Flint++ is cross-platform, zero-dependency port of flint, a lint program for C++
C++263bsl-1.0
5 years ago
Qurry
Qurry (was) a prototype for a functional quantum programming language. It incorp
TeX24mit
4 years ago
KeyPress-OSD
This program is an On-Screen Display or a Heads-Up Display for keys. It displays
AutoHotkey290
last year
ahkautohotkeydesktop-computer
xbar
Put the output from any script or program into your macOS Menu Bar (the BitBar r
Go17239mit
5 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
Dart15agpl-3.0
21 days ago
card-gamecard-gamesdart
promotion-text-kata
An hour-long hands-on practice on readable and maintainable programming
JavaScript0mit
3 years ago
Whaler
Program to reverse Docker images into Dockerfiles
Go1006gpl-3.0
2 years ago
docker-imagedocker-securitydockerfile
micropython-monitor
Display the behaviour of a realtime program with a scope or logic analyser.
Python27mit
2 years ago
autovala
A program that automatically generates CMake and Meson configuration files for y
Vala107gpl-3.0
6 years ago
CommandTrayHost
A command line program monitor systray for Windows
C++378mit
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
graphios
A program to send nagios perf data to graphite (carbon) / statsd / librato / inf
Python289
7 years ago
TerminalImageViewer
Small C++ program to display images in a (modern) terminal using RGB ANSI codes
C++1502other
last month
ansi-colorsascii-graphicscpp
DOSCommand
This component let you execute a dos program (exe, com or batch file) and catch
Pascal94other
9 months ago
Inkscape_electric_Symbols
Electrical symbol library for the vector graphics program Inkscape.
325cc0-1.0
16 days ago
electric-circuitselectrical-circuitselectrical-engineering
AppImage-Integrator
A simple program to integrate AppImages into the Linux desktop.
C++2gpl-3.0
last year
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
The Java microservice lib. QBit is a reactive programming lib for building micro
Java710apache-2.0
6 years ago
actorawshealth
Sanmill
Description Mill Game program, which supports rule variants.Rules:* A player
Dart131gpl-3.0
20 hours ago
aialpha-beta-pruningbitboard
Line-us-Programming
Some very simple examples to get you started with the Line-us API
Python109gpl-3.0
4 years ago
drawingdrawing-machinegcode-commands
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
3 months ago
blockchaindistributed-ledger-technologymove
cairo-vm
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermed
Rust437apache-2.0
3 months ago
blockchaincompilercryptography
xdl-generation
CLAIRify: Errors are Useful Prompts: Instruction Guided Task Programming with Ve
JavaScript32
9 months ago
language-modelplanningrobot
PhotoFlow
A fully non-destructive photo retouching program providing a complete layer-base
C++306gpl-3.0
3 years ago
gbapfomgd
Source code for the book "Game Boy Assembly Programming for the Modern Game Deve
TeX147other
last year
goroslib
ROS client library for the Go programming language
Go252mit
last year
gogolangrobot-operating-system
Persimmon
A visual dataflow programming language for sklearn
Python192mit
3 years ago
dataflow-programmingvisual-interfacevisual-programming
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
A slice of functional programming to chain ruby services and blocks, thus provid
Ruby610mit
4 years ago
bacon.js
Functional reactive programming library for TypeScript and JavaScript
TypeScript6448mit
11 months ago
audiowaveform
C++ program to generate waveform data and render waveform images from audio file
C++1797gpl-3.0
17 days ago
audioc-plus-plus
goroslib
ROS client library for the Go programming language
Go294mit
4 months ago
gogolangrobot-operating-system
Throttler
One Line to throttle, debounce and delay: Say Goodbye to Reactive Programming su
Swift93mit
8 months ago
asyncasynchronous-programmingcocoa
dlangui
Cross Platform GUI for D programming language
D767bsl-1.0
8 months ago
cross-platform-guiddlangui
graphqld
A vibe.d library to handle the GraphQL Protocol written in the D Programming Lan
D34lgpl-3.0
2 months ago
ddlanggraphql
certmagic
Automatic HTTPS for any Go program: fully-managed TLS certificate issuance and r
Go4749apache-2.0
3 months ago
acmeautomatic-httpsgo
FunctionalProgrammingDesignPatterns
Playground with Functional Programming design patterns and some functional techn
Swift5
7 years ago
precept
A declarative programming framework
Clojure651mit
last year
clojureclojurescriptdeclarative-programming
linmath.h
a lean linear math library, aimed at graphics programming. Supports vec3, vec4,
C874wtfpl
12 months ago
SwiftParsec
A parser combinator library written in the Swift programming language.
Swift226bsd-2-clause
2 years ago
functionalparserparser-combinators
di
🛠 A full-featured dependency injection container for go programming language.
Go219mit
5 months ago
dependency-injectiondigo
DerelictCL
Dynamic bindings to the OpenCL library for the D Programming Language.
D8bsl-1.0
5 years ago
crz
Functional programming library for https://github.com/crystal-lang/crystal
Crystal90mit
3 years ago
DCD
The D Completion Daemon is an auto-complete program for the D programming langua
D344gpl-3.0
4 months ago
autocompletecode-completiond
FunctionalPlus
Functional Programming Library for C++. Write concise and readable C++ code.
C++1987bsl-1.0
2 months ago
algorithmsc-plus-plusc-plus-plus-14
Data-Science-45min-Intros
Ipython notebook presentations for getting starting with basic programming, stat
Jupyter Notebook1569unlicense
5 years ago
prelude-ts
Functional programming, immutable collections and FP constructs for typescript a
TypeScript375isc
last year
data-structuresfpfunctional-programming
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
7 months ago
emscriptenemulatorjavascript
aixt
Programming framework for microcontrollers based on a V-like language.
V21mit
3 months ago
compiled-languagemicrocontrollersprogramming-language
datum
pure functional and generic programming for Erlang
Erlang119apache-2.0
9 months ago
algebraic-data-typescategory-patterndata-structures
di
🛠 A full-featured dependency injection container for go programming language.
Go188mit
last year
dependency-injectiondigo
config
A lightweight yet powerful configuration manager for the Go programming language
Go357mit
last year
configconfig-managementconfig-manager
cursive
A Text User Interface library for the Rust programming language
Rust3914mit
5 months ago
ncursesrustterminal
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
swifter
Tiny http server engine written in Swift programming language.
Swift3846bsd-3-clause
2 months ago
httpserverswift
vertx-mongodb-effect
Where actors meet Functional Programming
Java2
6 months ago
functional-programmingjson-valuesmongo-values
ironpython2
Implementation of the Python programming language for .NET Framework; built on t
Python1059apache-2.0
3 months ago
leaps
A pair programming service using operational transforms
Go743mit
last year
gogolangoperational-transform
Enterprise
🦄 The Enterprise™ programming language
JavaScript1584
last year
ajaxartificial-intelligencecloud
websocketd
Turn any program that uses STDIN/STDOUT into a WebSocket server. Like inetd, but
Go16981bsd-2-clause
7 months ago
proxywebsocket-serverwebsockets
libextobjc
A Cocoa library to extend the Objective-C programming language.
Objective-C4533mit
5 years ago
crystalline
A collection of containers & algorithms for the Crystal programming language
Crystal127mit
9 months ago
algorithmscrystal
fn.py
Functional programming in Python: implementation of missing features to enjoy FP
Python3318other
2 years ago
qml_zig
QML bindings for the Zig programming language
Zig61apache-2.0
8 months ago
qml-bindingsqml-zigzig
RoslynQuoter
Roslyn tool that for a given C# program shows syntax tree API calls to construct
C#859apache-2.0
8 months ago
kokkos
Kokkos C++ Performance Portability Programming Ecosystem: The Programming Model
C++1699other
2 months 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
Python153other
2 years ago
jscpd
Copy/paste detector for programming source code.
TypeScript4545mit
15 hours ago
clones-detectioncode-qualitycopy-paste
diy-lang
A hands-on, test driven guide to implementing a simple programming language
Python552bsd-3-clause
2 years ago
Curryfy
Provides strongly typed extensions methods for C# delegates to take advantages o
C#57apache-2.0
9 months ago
csharpcurrycurrying
mcsema
Framework for lifting x86, amd64, aarch64, sparc32, and sparc64 program binaries
C++2575agpl-3.0
2 years ago
aarch64binary-analysisida
walk
A Windows GUI toolkit for the Go Programming Language
Go6677other
4 months ago
declarativedeclarative-uigo
fcm
Firebase Cloud Messaging for application servers implemented using the Go progra
Go50mit
4 years ago
fcmfirebasefirebase-cloud-messaging
froid
A library for using the Frege programming language in Android development.
Frege100
6 years ago
androidandroid-developmentfrege
cascadia-code
This is a fun, new monospaced font that includes programming ligatures and is de
Python24536other
13 days ago
QuantumKatas
Tutorials and programming exercises for learning Q# and quantum computing
Jupyter Notebook4455mit
3 months ago
coding-katahacktoberfestqsharp
shapeless
Generic programming for Scala
Scala3352apache-2.0
3 months ago
fpfunctional-programminggeneric-programming
onlytoday
📅 An esoteric programming language that really challenges your brain!
JavaScript8
6 years ago
esolangesolangsesoteric
epi
Solutions for Elements of Programming Interviews problems written in Golang (wor
Go518mit
2 years ago