drathier

drathier

Geek Repo

Location:Europe

Github PK Tool:Github PK Tool

drathier's starred repositories

awesome

😎 Awesome lists about all kinds of interesting topics

plane

πŸ”₯ πŸ”₯ πŸ”₯ Open Source JIRA, Linear, Monday, and Asana Alternative. Plane helps you track your issues, epics, and product roadmaps in the simplest way possible.

Language:TypeScriptLicense:AGPL-3.0Stargazers:28348Issues:113Issues:918

Depix

Recovers passwords from pixelized screenshots

Language:PythonLicense:NOASSERTIONStargazers:25782Issues:398Issues:0

awesome-falsehood

😱 Falsehoods Programmers Believe in

HVM

A massively parallel, optimal functional runtime in Rust

Language:CudaLicense:Apache-2.0Stargazers:10408Issues:98Issues:187

misbrands

The world's most hated IT stickers

awesome-cold-showers

For when people get too hyped up about things

FriendsDontLetFriends

Friends don't let friends make certain types of data visualization - What are they and why are they bad.

iceraven-browser

Iceraven Browser

Language:KotlinLicense:MPL-2.0Stargazers:4614Issues:96Issues:681

MakerSkillTree

A repository of Maker Skill Trees and templates to make your own.

process-compose

Process Compose is a simple and flexible scheduler and orchestrator to manage non-containerized applications.

Language:GoLicense:Apache-2.0Stargazers:1208Issues:12Issues:143

rust-langdev

Language development libraries for Rust

hero

The web browser built for scraping

Language:TypeScriptLicense:MITStargazers:715Issues:19Issues:118

tvix

Tvix - A Rust implementation of Nix. Read-only mirror of https://cs.tvl.fyi/depot/-/tree/tvix

Language:NixLicense:GPL-3.0Stargazers:488Issues:17Issues:0

y-sweet

A standalone yjs server with persistence to S3 or filesystem.

Language:RustLicense:NOASSERTIONStargazers:343Issues:8Issues:21

riscv-fs

F# RISC-V Instruction Set formal specification

Language:F#License:MITStargazers:280Issues:12Issues:2

kind

Temporary repository for Kind2's refactor based on HVM2

Language:RustLicense:MITStargazers:273Issues:15Issues:2

purescript-backend-optimizer

Optimizing backend toolkit and modern ECMAScript backend for PureScript

Language:PureScriptLicense:MITStargazers:198Issues:15Issues:40

protocol-bugs-list

List of bugs found in distributed protocols

pikaparser

The Pika Parser reference implementation

Language:JavaLicense:MITStargazers:141Issues:8Issues:21

Linkedin-post-timestamp-extractor

Given a Linkedin post URL we can decode the UTC timestamp which isn't otherwise available in frontend/API metadata.

Language:JavaScriptLicense:GPL-3.0Stargazers:111Issues:1Issues:4

SlimTrainer

Full finetuning of large language models without large memory requirements

Language:PythonLicense:0BSDStargazers:94Issues:7Issues:2

purescript-analyzer

[πŸš€ Work In Progress] Compiler frontend for the PureScript programming language.

Language:RustLicense:BSD-3-ClauseStargazers:52Issues:7Issues:4

purescript-fast-vect

Fast πŸ†, type-safe vectors for Purescript

Language:PureScriptLicense:MIT-0Stargazers:26Issues:4Issues:10

LisPlusPlus

A lisp embedded in C++ syntax by overriding the comma operator

Language:C++License:MPL-2.0Stargazers:13Issues:0Issues:0
Language:PureScriptLicense:MITStargazers:8Issues:1Issues:0

greex

Java-based regex match generation for unit testing

Language:JavaLicense:MITStargazers:5Issues:1Issues:4

so_pip

Turn an answer on StackOverflow into a python package you can vendorize

Language:PythonLicense:MITStargazers:5Issues:3Issues:3

NoRainbow

My thoughts, feelings and ideas about the NoRainbow problem

Language:TeXStargazers:1Issues:0Issues:0