tinydev.art's starred repositories

froggy

Component Graph System experiment

Language:RustLicense:Apache-2.0Stargazers:301Issues:0Issues:0

quakespasm

QuakeSpasm -- A modern, cross-platform Quake game engine based on FitzQuake.

Language:CLicense:GPL-2.0Stargazers:205Issues:0Issues:0

vkQuake

Vulkan Quake port based on QuakeSpasm

Language:CLicense:GPL-2.0Stargazers:1671Issues:0Issues:0

PPPwn

PPPwn - PlayStation 4 PPPoE RCE

Language:PythonLicense:MITStargazers:2251Issues:0Issues:0

Interaction-Calculus

A programming language and model of computation that matches the optimal λ-calculus reduction algorithm perfectly.

Language:RustLicense:MITStargazers:702Issues:0Issues:0

Bend

A massively parallel, high-level programming language

Language:RustLicense:Apache-2.0Stargazers:15793Issues:0Issues:0

t2sde

T2 SDE Linux

Language:CLicense:NOASSERTIONStargazers:223Issues:0Issues:0

nextvi

Next version of neatvi (a small vi/ex editor) for editing bidirectional UTF-8 text

Language:CStargazers:129Issues:0Issues:0

Raphtory

Blazingly fast, vectorised, parallel, and scalable temporal graph engine for Rust, Python and JavaScript

Language:RustLicense:GPL-3.0Stargazers:296Issues:0Issues:0

Kind-Legacy

A modern proof language

Language:JavaScriptLicense:MITStargazers:7Issues:0Issues:0
Language:RustLicense:Apache-2.0Stargazers:488Issues:0Issues:0

Kindelia

An efficient, secure cryptocomputer

Language:RustStargazers:600Issues:0Issues:0

Kind1

A next-gen functional language

Language:RustLicense:MITStargazers:3512Issues:0Issues:0

samurai

ninja-compatible build tool written in C

Language:CLicense:NOASSERTIONStargazers:808Issues:0Issues:0

nvi2

A multibyte fork of the nvi editor for BSD

Language:CLicense:NOASSERTIONStargazers:139Issues:0Issues:0

penpot

Penpot: The open-source design tool for design and code collaboration

Language:ClojureLicense:MPL-2.0Stargazers:28478Issues:0Issues:0

drawdb

Free, simple, and intuitive online database design tool and SQL generator.

Language:JavaScriptLicense:MITStargazers:11667Issues:0Issues:0

llm.c

LLM training in simple, raw C/CUDA

Language:CudaLicense:MITStargazers:20236Issues:0Issues:0

llama2.c

Inference Llama 2 in one file of pure C

Language:CLicense:MITStargazers:16496Issues:0Issues:0

shimmering-focus

Minimalistic Obsidian Theme for keyboard-centric users.

Language:CSSLicense:MITStargazers:452Issues:0Issues:0

breeze

An experimental, kakoune-inspired CLI-centric text/code editor with |-shaped cursor (in Rust)

Language:RustStargazers:202Issues:0Issues:0

marksman

Write Markdown with code assist and intelligence in the comfort of your favourite editor.

Language:F#License:MITStargazers:1752Issues:0Issues:0

homebrew-zathura

Homebrew formulae to build Zathura on Mac OS X

Language:RubyStargazers:524Issues:0Issues:0

zk

A plain text note-taking assistant

Language:GoLicense:GPL-3.0Stargazers:1486Issues:0Issues:0

md4c

C Markdown parser. Fast. SAX-like interface. Compliant to CommonMark specification.

Language:CLicense:MITStargazers:731Issues:0Issues:0

rusqlite

Ergonomic bindings to SQLite for Rust

Language:RustLicense:MITStargazers:2809Issues:0Issues:0

darkbird

In-memory database inspired by erlang mnesia

Language:RustLicense:MPL-2.0Stargazers:412Issues:0Issues:0

Awesome-Prompt-Engineering

This repository contains a hand-curated resources for Prompt Engineering with a focus on Generative Pre-trained Transformer (GPT), ChatGPT, PaLM etc

Language:PythonLicense:Apache-2.0Stargazers:3367Issues:0Issues:0

zotero-mdnotes

A Zotero plugin to export item metadata and notes as markdown files

Language:JavaScriptLicense:GPL-3.0Stargazers:1293Issues:0Issues:0

redlib

Private front-end for Reddit

Language:RustLicense:AGPL-3.0Stargazers:740Issues:0Issues:0