Skip to content
View ItsMeForLua's full-sized avatar
💭
There is a percentage of a chance that I might be dumb
💭
There is a percentage of a chance that I might be dumb
1 follower · 3 following

Block or report ItsMeForLua

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
ItsMeForLua/README.md

Andrew D. France

rust lua fennel lean4 r lisp perl mysql

Category Specialization
Systems & Performance Rust
Scripting & Extensibility Lua, Fennel
Formal Systems & Logic Lean4
Data R, SQL, Perl
Development Philosophy DRY, KISS

Connect

Pinned Loading

  1. ln-messagepack ln-messagepack Public

    An efficient, fast, and pure MessagePack serialization library for Lean 4. ln-messagepack provides a simple and type-safe API for encoding and decoding Lean data structures into the MessagePack bin…

    Lean 1

  2. RCBOR RCBOR Public

    High-performance R toolkit of the "Concise Binary Object Representation" (CBOR) format, powered by Rust for fast and memory safe serialization. Ideal for bioinformatics and high-throughput data pip…

    R 1

  3. cl-win32-types cl-win32-types Public

    A comprehensive set of 45 CFFI type definitions for the Windows API, designed for seamless integration with modern Common Lisp development environments on Windows.

    Common Lisp 1

  4. cl-win32-errors cl-win32-errors Public

    A Common Lisp library for translating cryptic Windows API error codes into human-readable information.

    Common Lisp 2

  5. fplot fplot Public

    fplot is a simple, declarative wrapper around the powerful Gnuplot charting system. It provides a clean, table-based API that lets you create beautiful 2D and 3D plots directly from your Fennel or …

    Fennel 2