Repository Index

:atom: Run code interactively, inspect data, and plot. All the power of Jupyter kernels, inside your favorite text editor.

• data-science
• jupyter
• ipython
• repl

A library of C++ coroutine abstractions for the coroutines TS

• coroutines
• cplusplus
• asynchronous-programming
• async-await

The Ballerina Programming Language

• programming-language
• language
• compiler
• ballerina-lang

A fast script language for Go

• golang
• go
• script
• embedded-language

⛱ Broadly scoped ecosystem & mono-repository of 215 TypeScript projects (and ~185 examples) for general purpose, functional, data driven development

• color
• data-structures
• dsl
• functional-programming

Promises is a modern framework that provides a synchronization construct for Swift and Objective-C.

• promises
• futures
• objective-c
• swift

the only javascript runtime to hit no.1 on techempower :fire:

• javascript
• linux
• runtime
• system-programming

A modern proof language

• formality
• lambda-calculus
• type-theory
• proof-language

Bringing stdlibs of other programming languages to TypeScript for fun

• javascript
• ports
• programming-language
• stdlib

Research programming language for concurrent ownership

Icarus Verilog

The P programming language.

• asynchronous
• programming-language
• systematic-testing
• event-driven

Frege is a Haskell for the JVM. It brings purely functional programing to the Java platform.

This repo hosts the source for the DirectX Shader Compiler which is based on LLVM/Clang.

• hlsl
• shader-programs
• directx-shader-compiler
• dxil

A library of composable functions for the type-level! Transform your TypeScript types in any way you want using functions you already know.

• typescript
• type-level-programming

Glommio is a thread-per-core crate that makes writing highly parallel asynchronous applications in a thread-per-core architecture easier for rustaceans.

• rust
• linux
• thread-per-core
• iouring

Dafny is a verification-aware programming language

• programming-language
• verification

Create ridiculously fast Lexers

• lexer
• lexer-generator
• rust
• parser

Flow-based programming for JavaScript

• noflo
• fbp
• etl-framework
• flow-based-programming

A fancy and practical functional tools lib

• functional-programming
• utilities
• python

Open-source Visual programming for backend logic that integrates with existing codebases. Flyde bridges the gap between technical and non-technical team members. Product managers, designers, and backend developers can collaborate on the same visual flows.

• flow-based-programming
• visual-programming
• vscode
• visual-programming-editor

Execute JavaScript from Go

• go
• golang
• golang-package
• v8

Ultra-high performance reactive programming

The repository contains Google's robots.txt parser and matcher as a C++ library (compliant to C++11).