Repository Index

A curated list of awesome programming, development, technical support and discussion channels, groups, communities, resources and other shiny things

• awesome
• community
• groups

[A]synchronous Functional Programming

• function-composition
• asynchronous
• transducers
• parallel

Effortless Microservice Design and Integration. This repository includes the code-base for the Warewolf Studio and Server.

• warewolf
• c-sharp
• eula
• microservices

Sophisticated and functionally-minded async with advanced features: coroutines, promises, ES2015 iterables, fantasy-land

• promise
• fantasy-land
• async
• asynchronous

Open source math and physics engine that executes MATLAB-syntax code. Features a modern compiler, automatic GPU acceleration for large calculations, and support for math on geometry / FEA calculations.

• matlab
• rust
• jit-compiler
• linear-algebra

Possibly the best theming solution for Godot - Programmatically create themes using GDScript

• dark-theme
• gdscript
• godot
• godot-engine

💊 steroids for Xcode Playgrounds

• swift
• playground
• carbon
• jekyll

Floc: Orchestrate goroutines with ease.

• go
• parallel-programming
• goroutines
• goroutine-safe

A TextMate and Sublime Text Bundle for the Elixir programming language

Screamer is an extension of Common Lisp that adds support for nondeterministic programming.

Python game programming in Jupyter notebooks.

Public tracker for Scramjet Cloud Platform, a platform that bring data from many environments together.

• data-stream
• event-stream
• transformations
• reactive-programming

CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory

• coq
• hammer
• automation
• proof-search

:hammer: A multiple reverse shell session/client manager via terminal

• socket
• python
• ctf
• attack-defense

go library for image programming (merge, crop, resize, watermark, animate, ease, transit)

• golang
• image
• merge
• crop

An F# type provider for in-process R interop

• r-language
• r-programming
• type-providers

INGInious is a secure and automated exercises assessment platform using your own tests, also providing a pluggable interface with your existing LMS.

• grading
• assessment
• education
• e-assessment

Write Apps like Mathematical Equations!

• purescript
• app-development
• native
• functional-programming

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

• go
• dependency-injection
• di
• ioc

Practice Clojure using Interactive Programming in your editor

• clojure
• clojurescript
• educational-project

A function definition package for Rocq

• coq
• programming-language
• dependent-types
• rocq

A library and microservice implementing the health and care terminology SNOMED CT with support for cross-maps, inference, fast full-text search, autocompletion, compositional grammar and the expression constraint language.

• terminology
• snomed-ct
• snomed
• terminology-server

Java Constraint Programming solver

A tutorial on the D programming language templates.