Skip to content
View andremm's full-sized avatar

Organizations

@elastic @titan-lang

Block or report andremm

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

A copy of the Lua development repository, as seen by the Lua team. Mirrored irregularly. Please DO NOT send pull requests or any other stuff. All communication should be through the Lua mailing lis…

C 8,646 1,658 Updated Dec 9, 2024

Pallene Compiler

Lua 702 29 Updated Sep 23, 2024

The Titan programming language

Lua 402 13 Updated Jan 29, 2019

Resumes generated using the GitHub informations

JavaScript 62,039 1,358 Updated Feb 15, 2023

An educational Lua module that can be used to teach or learn about Lua's C API.

C 85 15 Updated Dec 3, 2015

Library to provide client interface for Strava REST API(v3) in lua language

Lua 2 Updated Aug 30, 2017

An Optional Type System for Lua

Lua 7 Updated Jun 23, 2024

GSOC 2016 Typed Lua Core Typechecker

Haskell 7 Updated Aug 13, 2016

Optional static typing for Python

Python 18,691 2,860 Updated Dec 18, 2024

The metalua programming language

Lua 350 59 Updated Jan 16, 2024

Lua + Typesafety = Sol

Lua 72 3 Updated Feb 26, 2019

Lightweight Lua-based IDE for Lua with code completion, syntax highlighting, live coding, remote debugger, and code analyzer; supports Lua 5.1, 5.2, 5.3, 5.4, LuaJIT and other Lua interpreters on W…

Lua 2,629 518 Updated May 19, 2024

luarock packaging of Metalua's parser

Lua 48 2 Updated Jan 9, 2014

A bibliography on Gradual Typing

Racket 250 22 Updated Dec 24, 2023

An optional type system for Clojure

Clojure 1,287 75 Updated Jul 15, 2024

Types for Python

Python 86 11 Updated Oct 10, 2018

a grep-like tool tailored for code

Lua 18 3 Updated May 16, 2022
Showing results