Next Generation Visual Programming System
- unit
- programming
- programming-language
- dataflow-programming
Repository Index
68,261 visible repositories in the index
97–120 of 579 · Most stars
Wrangling Untrusted File Formats Safely
- parsing
- memory-safety
- programming-language
- codec
Chisel: A Modern Hardware Design Language
- chisel
- chisel3
- scala
- firrtl
🦁 The Leo Programming Language. A Programming Language for Formally Verified, Zero-Knowledge Applications
- programming-language
- zero-knowledge
- compiler
- zksnarks
esProc SPL is a JVM-based programming language designed for structured data computation, serving as both a data analysis tool and an embedded computing engine.
Principled Functional Programming in Scala
- scalaz
- scala
- functional-programming
- scala-native
Borgo is a statically typed language that compiles to Go.
- compiler
- golang
- programming-language
- rust-lang
A high-performance non-blocking I/O networking framework focusing on RPC scenarios.
- rpc
- golang
- network-programming
- net
Gravity Programming Language
prototype of stream based programming language
a thread-safe concurrent map for go
- golang
- go
- concurrency
- map
ZIO — A type-safe, composable library for async and concurrent programming in Scala
- effects
- concurrency
- asynchronicity
- functional-programming
Make your functions return something meaningful, typed, and safe!
- python
- python3
- functional-programming
- fp
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming
The F# compiler, F# core library, F# language service, and F# tooling integration for Visual Studio
- fsharp
- compiler
- visual-studio
- netcore
Write like a high-level language, run like C.
EventMachine: fast, simple event-processing library for Ruby programs
🍃 A refreshing programming language for the front-end web.
- mint-lang
- language
- compiler
- programming-language
A lightweight C++ base library with Go-style coroutines.
A language for constraint-guided and efficient LLM programming.
- chatgpt
- huggingface
- language-model
- programming-language
Blazing fast concurrent HashMap for Rust.
- hashmap
- hashtable
- concurrent-programming
- concurrent
BGP implemented in the Go Programming Language
A toy programming language written in Typescript
- programming-language
- typescript
- parser
- interpreter
NVIDIA's CUDA platform for Rust. Host runtime crates plus Tile (cutile-rs) and SIMT (cuda-oxide) kernel programming models in idiomatic Rust.