Compiler for Elm, a functional language for reliable webapps.
- elm
- compiler
Repository Index
47,133 repositories indexed
49–72 of 340 · Most stars
ReScript is a robustly typed language that compiles to efficient and human-readable JavaScript.
- compiler
- javascript
- altjs
- rescript
A fast type checker and language server for Python
C# pure functional programming framework - come and get declarative!
- c-sharp
- functional-languages
- monads
- monad-transformers
Arnold Schwarzenegger based programming language
🐤 The friendly full-stack language
- programming-language
- javascript
- imba
- dom
Powerful scripting language & versatile interactive shell
SWIG is a software development tool that connects programs written in C and C++ with a variety of high-level programming languages.
A fast, friendly, functional language.
- functional-language
- functional-programming
- language
- roc-lang
A small, fast, and embeddable programming language based on Lua with a gradual type system.
- lua
- programming-language
- scripting-language
A music programming language for musicians. :notes:
- music
- programming-language
- music-programming-language
- music-composition
The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
- proof-assistant
- coq
- theorem-proving
- dependent-types
Python for .NET is a package that gives Python programmers nearly seamless integration with the .NET Common Language Runtime (CLR) and provides a powerful application scripting tool for .NET developers.
- python
- dotnet
- mono
- clr
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
- groovy
- jvm-languages
- programming-language
- metaprogramming
Esoteric Programming Language
A compiler for the Mustache templating language
inkle's open source scripting language for writing interactive narrative.
An autocompletion daemon for the Go programming language
👮 A PHP desktop/mobile user agent parser with support for Laravel, based on Mobiledetect
- user-agent
- mobile-detect
- robot
- browser
Melody is a language that compiles to regular expressions and aims to be more readable and maintainable
Kaitai Struct: declarative language to generate binary data parsers in C++ / C# / Go / Java / JavaScript / Lua / Nim / Perl / PHP / Python / Ruby / Rust
- reverse-engineering
- protocol-analyser
- file-format
- declarative-language
Multi-Language Vulkan/GL/GLES/EGL/GLX/WGL Loader-Generator based on the official specs.
[Mirror] A linter for prose.
- linter
- prose
- writer
- advice
Simple, elegant, Pythonic functional programming.
- python
- functional
- language
- functional-programming