Beast code in Giters

karroffel's starred repositories

bevy

A refreshingly simple data-driven game engine built in Rust

Language:RustApache-2.033078 290 4810

egui

egui: an easy-to-use immediate mode GUI in Rust that runs on both web and native

Language:RustApache-2.020376 128 1760

Browser-based frontend to gdb (gnu debugger). Add breakpoints, view the stack, visualize data structures, and more in C, C++, Go, Rust, and Fortran. Run gdbgui from the terminal and a new tab will open in your browser.

Language:TypeScriptGPL-3.09731 164 321

nitter

Alternative Twitter front-end

Language:NimAGPL-3.09697 126 928

rust-gpu

🐉 Making Rust a first-class language and ecosystem for GPU shaders 🚧

Language:RustApache-2.07041 90 405

firefox-gnome-theme

A GNOME👣 theme for Firefox🔥

Language:CSSUnlicense3278 33 606

awesome-humane-tech

Promoting Solutions that Improve Wellbeing, Freedom and Society

CC0-1.02992 108 31

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION2429 65 1162

argos

Create GNOME Shell extensions in seconds

Language:JavaScript1647 40 135

stealth

:rocket: Stealth - Secure, Peer-to-Peer, Private and Automateable Web Browser/Scraper/Proxy

Language:JavaScriptGPL-3.01005 41 76

cakeml

CakeML: A Verified Implementation of ML

Language:Standard MLNOASSERTION921 46 456

neut

A dependently-typed programming language with static memory management

Language:HaskellMIT830 21 13

dat-desktop

Peer to peer data syncronization [ DEPRECATED - More info on active projects and modules at https://dat-ecosystem.org/ ]

Language:JavaScriptMIT646 36 348

pikelet

A friendly little systems language with first-class types. Very WIP! 🚧 🚧 🚧

Language:RustApache-2.0608 30 62

crepe

Datalog compiler embedded in Rust as a procedural macro

Language:RustApache-2.0444 12 16

saw-script

The SAW scripting language.

Language:HaskellBSD-3-Clause433 34 1086

ktra

Your Little Cargo Registry

Language:RustApache-2.0388 10 34

twitrssme

TwitRSS.me: Tool to make Twittter timelines and searches into RSS feeds

Language:PerlGPL-2.0360 22 76

paka

Paka language

Language:CMIT159 9 8

ocaml-interop

OCaml<->Rust FFI with an emphasis on safety.

Language:RustMIT131 9 17

idris2-elab-util

Utilities and documentation for exploring idirs2's new elaborator reflection.

Language:IdrisBSD-2-Clause73 8 5

idris-vscode

Idris front-end for VS Code

Language:TypeScriptMIT58 6 37

mir-verifier

SAW front end for the MIR language from rustc

Language:HTMLBSD-3-Clause35 27 6

gnomit

A simple Git commit message editor for Gnome.

Language:JavaScriptGPL-3.030 6 12

mcc

Mini C Compiler

Language:CMIT23 2 1

wasm_minigames

Creating WASM minigames in rust from scratch

Language:Rust21 2 7

curly-lang-legacy

Curly programming language

Language:C18 20

idris2-mlf

Malfunction backend for Idris 2

Language:IdrisBSD-3-Clause11 40

transrights

the language that supports trans rights

Language:F#NOASSERTION8 10

vscode-pascal-magic

High-quality Pascal highlighting for VSCode

MIT7 3 1