A dialect of Lisp that's embedded in Python
- python
- hy
- lisps
- macros
Repository Index
78,850 visible repositories in the index
73–96 of 493 · Most stars
The Programming Language for Agents
A programming language for the cloud ☁️ A unified programming model, combining infrastructure and runtime code into one language ⚡
Programming Language Theory λΠ
- programming-languages
- type-theory
- functional-programming
- category-theory
A high performance scripting language hosted on the JVM.
- java
- scripting-language
- jvm-languages
- aviatorscript
💎 Amber the programming language compiled to Bash/Ksh/Zsh
Esoteric Programming Language
Canonical actor model implementation for .NET with local + distributed actors in C# and F#.
- akka
- actor-model
- dotnet
- concurrency
An autocompletion daemon for the Go programming language
Next Generation Visual Programming System
- unit
- programming
- programming-language
- dataflow-programming
Wrangling Untrusted File Formats Safely
- parsing
- memory-safety
- programming-language
- codec
🦁 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.