Beast code in Giters

Elton Leander Pinto's starred repositories

astro

The web framework for content-driven websites. ⭐️ Star to support our work!

Language:TypeScriptNOASSERTION45677 196 4600

helix

A post-modern modal text editor.

Language:RustMPL-2.032938 185 4470

imba

🐤 The friendly full-stack language

Language:JavaScriptMIT6292 109 706

nvim-lua-guide

A guide to using Lua in Neovim

5803 66 55

src

Read-only git conversion of OpenBSD's official CVS src repository. Pull requests not accepted - send diffs to the tech@ mailing list.

Language:C3189 1700

maelstrom

A workbench for writing toy implementations of distributed systems.

Language:ClojureEPL-1.02989 27 34

logica

Logica is a logic programming language that compiles to SQL. It runs on DuckDB, Google BigQuery, PostgreSQL and SQLite.

Language:Jupyter NotebookApache-2.01737 37 58

orbit

Experimental spaced repetition platform for exploring ideas in memory augmentation and programmable attention

Language:TypeScriptNOASSERTION1695 32 229

langjam

1019 98 15

bsc

Bluespec Compiler (BSC)

Language:HaskellNOASSERTION927 48 310

haskell-resources

A List of Foundational Haskell Papers

Language:JavaScriptNOASSERTION862 46 5

magmide

A dependently-typed proof language intended to make provably correct bare metal code possible for working software engineers.

Language:Coq811 51 18

ghstack

Submit stacked diffs to GitHub on the command line

Language:PythonMIT638 13 88

CAMLBOY

A Game Boy emulator written in OCaml that runs in your browser 🐫 🎮

Language:OCamlMIT513 4 4

sail-riscv

Sail RISC-V model

Language:CoqNOASSERTION430 45 222

static-rc

Compile-time reference counting

Language:RustApache-2.0428 13 8

makesure

Simple task/command runner with declarative goals and dependencies

Language:ShellMIT340 6 135

prr

Mailing list style code reviews for github

Language:RustGPL-2.0286 8 32

Coqtail

Interactive Coq Proofs in Vim

Language:PythonMIT272 8 170

every-git-commit-shorthash

Git repository with a commit for every single shorthash

Language:RustMIT195 6 1

preface

Preface is an opinionated library designed to facilitate the handling of recurring functional programming idioms in OCaml.

Language:OCamlMIT144 8 58

koika

A core language for rule-based hardware design 🦑

Language:CoqGPL-3.0138 24 20

virgo

Graph-based Declarative Configuration Language

Language:GoMIT132 4 7

minimal-elf

Creating a minimal ELF file

Language:Rust104 30

arss

An rss reader

Language:SvelteMIT99 3 5

synox

Rust library for program synthesis of string transformations from input-output examples 🔮

Language:RustMIT26 30

yolo-tree

A link tree clone

Language:JavaScript7 30

simear

A beamer theme

Language:TeX2 20

cm

A config manager

Language:Shell1 30

monch

A Structured Shell for Linux

Language:Rust1 20