Bowuigi
6 followers · 4 following
  • Joined on 2021-12-26
Repositories
28
 Projects Packages Public activity Starred repositories
7
Filter
Sort
honeycomb-hs
Haskell 0 0
A Haskell98 port of Honeycomb that adds position retrieval and reporting
Updated 2024-12-10 23:42:50 +00:00
type-theory-recommendations
0 0
Some recommendations on papers, books or guides to read about Type Theory
Updated 2024-12-03 04:43:48 +00:00
STLC-MiniKanren
Scheme 0 0
A term/type/context inference program for Simply Typed Lambda Calculus using MiniKanren, Scheme and Haskeme
Updated 2024-12-03 04:43:46 +00:00
Twice
Haskell 0 0
Research about a category with different ways to compose morphisms
Updated 2024-12-03 04:43:34 +00:00
Splat
Scheme 1 0
A macro processor using and written in Guile scheme supporting @func(a b c) syntax
Updated 2024-12-03 04:36:56 +00:00
Umbral
PureScript 0 0
Create budgets that are dynamic, update with prices and much more, easy as pie.
Updated 2024-12-03 04:36:36 +00:00
States
Scheme 0 0
Finite State Machines for Chicken Scheme
Updated 2024-12-03 04:29:42 +00:00
Satellite
Scheme 0 0
The simple social media platform for Gemini you waited for, rewritten.
Updated 2024-12-03 04:28:23 +00:00
Corden
0 0
Sistema de codificación de datos de base 36 con múltiples sets de carácteres
Updated 2024-12-03 04:23:57 +00:00
Lumina
Lua 0 0
Lua TUI toolkit for quickly building UIs
Updated 2024-12-03 04:21:42 +00:00
Colcha
C 0 0
Un lenguaje de programación esotérico (esolang) basado en la colcha del libro "Como agua para chocolate" de Laura Esquivel
Updated 2024-12-03 04:21:38 +00:00
C3
C 0 0
A C rewrite for Ulfnic's BAAM (Bash Associative Arrays in Multi-dimensions), useful for anything that requires trees (like a configuration format)
language configuration trees
Updated 2024-12-03 04:17:11 +00:00
RBZ
Lua 0 0
RoboZZle interpreter made in Lua, along with a level fetcher
Updated 2024-12-03 04:16:59 +00:00
Chi
C 0 0
A terminal based CHIP-8 emulator (interpreter, actually)
Updated 2024-12-03 04:15:52 +00:00
Waffle
HTML 0 0
A WIP Lua game engine for scripting games quickly and easily
game lua game-engine gamedev game-engine-2d game-development
Updated 2024-12-03 04:15:02 +00:00