Agda is a dependently typed programming language / interactive theorem prover.
- dependent-types
- programming-language
- proof-assistant
- agda
Repository Index
71,372 visible repositories in the index
241–264 of 778 · Most stars
🐹🕸️ WebAssembly runtime for Go
- webassembly
- golang
- wasm
- rust
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
.NET for iOS, Mac Catalyst, macOS, and tvOS provide open-source bindings of the Apple SDKs for use with .NET managed languages such as C#
Highly-available Distributed Fault-tolerant Runtime
- fault-tolerance
- rust
- rust-language
- supervision
Converts a string to a slug. Includes integrations for Symfony, Silex, Laravel, Zend Framework 2, Twig, Nette and Latte.
- php
- twig
- slugify
- symfony
Beef Programming Language
- programming-language
- compiler
- ide
- beef-language
Parse RSS, Atom and JSON feeds in Go
- atom-feed
- rss-feed
- rss
- atom
jsii allows code in any language to naturally interact with JavaScript classes. It is the technology that enables the AWS Cloud Development Kit to deliver polyglot libraries from a single codebase!
A statically typed language compatible with Python
- compiler
- programming-language
- python
- rust
A fast, feature-rich static code analyzer & language server for Python
A statically typed programming language for scientific computations with first class support for physical dimensions and units
- calculator
- physics
- programming-language
- statically-typed
Provides an engine that can compile and evaluate expressions
The Lobster Programming Language
:boom::computer::boom: A data-parallel functional programming language
Io programming language. Inspired by Self, Smalltalk and LISP.
Starlark in Go: the Starlark configuration language, implemented in Go
Set of preconfigured snippets for different languages.
- snippets
- friendly-snippets
- languages
- programming-languages
The Flix Programming Language
- flix
- language
- hacktoberfest
- functional
Lua Lisp Language
Implementation of Python 3.x for .NET Framework that is built on top of the Dynamic Language Runtime.
- ironpython
- dlr
- c-sharp
- python
JSONata query and transformation language - http://jsonata.org
A code rewrite tool for structural search and replace that supports ~every language.
- program-transformation
- search-and-replace
- linting
- refactoring
An embedded scheme interpreter in Rust
- rust
- racket
- transducers
- scripting-language