-
pallene Public
Forked from pallene-lang/pallenePallene Compiler
Lua MIT License UpdatedMar 16, 2025 -
lua-internals Public
Forked from pallene-lang/lua-internalsPatched version of Lua, exposing internal APIs
C UpdatedMar 10, 2025 -
pallene-tracer Public
Forked from pallene-lang/pallene-tracerPallene Tracer is a mechanism and protocol for Lua C modules to have proper tracebacks
C MIT License UpdatedMar 10, 2025 -
MicroLua Public
Forked from MicroLua/MicroLuaLua for the RP2040 microcontroller
C MIT License UpdatedJan 24, 2025 -
cosmopolitan Public
Forked from jart/cosmopolitanbuild-once run-anywhere c library
C ISC License UpdatedJan 21, 2025 -
sstrict.lua Public
Forked from 2dengine/sstrict.luaParses and detects mistakes in your Lua source code
Lua MIT License UpdatedNov 23, 2024 -
lua-conmanorg Public
Forked from spc476/lua-conmanorgUsefu Lua modules
C GNU Lesser General Public License v3.0 UpdatedNov 13, 2024 -
dimensional Public
Dimensional library variant built on Data Kinds, Closed Type Families, TypeNats (GHC 7.8+).
-
moleskine Public
Extract pages from pdf based on index (uses pdftk under the hood).
Haskell BSD 3-Clause "New" or "Revised" License UpdatedNov 26, 2023 -
-
astro Public
Astrodynamics code for Haskell
-
-
-
adt.lua Public
Forked from Nymphium/adt.luaalgebraic data types for Lua
Lua MIT License UpdatedMar 31, 2023 -
-
nvim-notify Public
Forked from rcarriga/nvim-notifyA fancy, configurable, notification manager for NeoVim
Lua MIT License UpdatedAug 1, 2022 -
hammerspoon.github.io Public
Forked from Hammerspoon/hammerspoon.github.ioWebsite
HTML UpdatedJul 24, 2022 -
dimensional-dk-experimental Public
Experimental and draft modules for dimensional-dk.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJun 19, 2022 -
libcsp Public
Forked from libcsp/libcspCubesat Space Protocol - A small network-layer delivery protocol designed for Cubesats
C MIT License UpdatedMay 31, 2022 -
numtype-dk Public
NumTypes with TypeNats, Data Kinds, Closed Type Families...
-
luafun Public
Forked from luafun/luafunLua Fun is a high-performance functional programming library for Lua designed with LuaJIT's trace compiler in mind.
Lua Other UpdatedApr 19, 2022 -
halberdsnhelmets Public
Forked from dleffert/halberdsnhelmetsA character generator for Halberds & Helmets; a character sheet generator for some role-playing games.
TeX UpdatedAug 21, 2021 -
lite-xl.github.io Public
Forked from lite-xl/website-archiveLite-XL Website
Liquid Apache License 2.0 UpdatedJun 9, 2021 -
lite-xl Public
Forked from lite-xl/lite-xlA lightweight text editor written in Lua
Lua MIT License UpdatedJun 8, 2021 -
dimensional-codata Public
Forked from dmcclean/dimensional-codataCODATA Recommended Physical Constants with dimensional types
Haskell BSD 3-Clause "New" or "Revised" License UpdatedMay 1, 2021 -
dimensional-experimental Public
Modules building on dimensional that do not fit elsewhere (yet).
-
dimensional-homo Public
Experimental library with homogeneous vectors and matrices.
Haskell Other UpdatedApr 30, 2021 -
-
-
{{ message }}