Idris2-Lua
Lua interpreter
A Lua backend for Idris 2, facilitating integration with the functional programming language
Lua backend for Idris 2
27 stars
7 watching
1 forks
Language: Idris
last commit: about 4 years agobackendidrisidris2lua
Related projects:
| Repository | Description | Stars |
|---|---|---|
 squeek502/zua | An attempt to implement Lua 5.1 in Zig for educational purposes | 176 |
 ers35/luastatic | Builds standalone executables from Lua programs on various platforms with support for multiple interpreters and libraries. | 795 |
 lopi-py/luau-lsp.nvim | An extension to Neovim for improved Lua development experience | 50 |
 hengestone/lua-languages | A collection of languages and projects that compile to or use Lua as their intermediate language | 607 |
 sygmei/luatalk | A collection of Lua code examples and explanations for a talk on the Lua programming language | 3 |
 milochristiansen/lua | A Go-based Lua 5.3 VM and compiler for embedding into Go programs | 920 |
 stravant/luaminify | Tools for parsing and transforming Lua source code | 259 |
 shiinamiyuki/lunatic | An open-source interpreter for the Lua programming language with additional features and optimizations. | 18 |
 soumith/zbs-torch | A lightweight Lua-based IDE with code completion, debugging, and live coding features. | 67 |
 mlua-rs/mlua | Bindings to the Lua programming language for Rust with support for asynchronous execution and WebAssembly. | 1,821 |
 regit/luaevilbit | An implementation of RFC 3514 for Suricata using Lua and luajit signatures | 2 |
 rvirding/luerl | An Erlang implementation of the Lua scripting language | 1,053 |
 aarzilli/golua | Go bindings for the Lua C API | 652 |
 moteus/lua-lluv-redis | A Redis client for the Lua-Lluv library, providing functionality for asynchronous interactions with a Redis instance. | 5 |
 erdian718/lua | A Go implementation of a Lua 5.3 VM and compiler, allowing easy embedding into Go programs. | 25 |