William (WilliamRagstad)

WilliamRagstad

Geek Repo

Company:KTH Royal Institute of Technology

Location:Stockholm, Sweden

Home Page:https://williamr.dev

Twitter:@WilliamRagstad

Github PK Tool:Github PK Tool


Organizations
APClib
Aphnix
digixoil
lento-lang
mini-lang
pace-kit
QuansyCMS
SuperScript-js
webx-net
Willsoft-org

William's starred repositories

the-book-of-secret-knowledge

A collection of inspiring lists, manuals, cheatsheets, blogs, hacks, one-liners, cli/web tools and more.

License:MITStargazers:139265Issues:2426Issues:0

papers-we-love

Papers from the computer science community to read and discuss.

Awesome-Hacking

A collection of various awesome lists for hackers, pentesters and security researchers

License:CC0-1.0Stargazers:81004Issues:3813Issues:0

awesome-interview-questions

:octocat: A curated awesome list of lists of interview questions. Feel free to contribute! :mortar_board:

awesome-scalability

The Patterns of Scalable, Reliable, and Performant Large-Scale Systems

License:MITStargazers:57222Issues:1864Issues:0

awesome-courses

:books: List of awesome university courses for learning Computer Science!

github-cheat-sheet

A list of cool features of Git and GitHub.

awesome-design-patterns

A curated list of software and architecture related design patterns.

Awesome-Design-Tools

The best design tools and plugins for everything 👉

Language:JavaScriptLicense:MITStargazers:32732Issues:548Issues:34

bubbletea

A powerful little TUI framework 🏗

cascadia-code

This is a fun, new monospaced font that includes programming ligatures and is designed to enhance the modern look and feel of the Windows Terminal.

Language:PythonLicense:NOASSERTIONStargazers:25253Issues:251Issues:611

vega

A visualization grammar.

Language:JavaScriptLicense:BSD-3-ClauseStargazers:11004Issues:287Issues:1916

ptpython

A better Python REPL

Language:PythonLicense:BSD-3-ClauseStargazers:5138Issues:65Issues:398

dafny

Dafny is a verification-aware programming language

Language:C#License:NOASSERTIONStargazers:2854Issues:80Issues:2658

timg

A terminal image and video viewer.

Language:C++License:GPL-2.0Stargazers:1859Issues:27Issues:86

commit-message-emoji

Every commit is important. So let's celebrate each and every commit with a corresponding emoji! :smile:

TerminalImageViewer

Small C++ program to display images in a (modern) terminal using RGB ANSI codes and unicode block graphics characters

Language:C++License:NOASSERTIONStargazers:1534Issues:35Issues:83

ChatGPT_Custom_Instructions

Repo of custom instructions that you can use for ChatGPT

License:MITStargazers:1227Issues:58Issues:0

FireDBG.for.Rust

🔥 Time Travel Visual Debugger for Rust

Language:RustLicense:MITStargazers:1216Issues:11Issues:5

buzz

👨‍🚀 buzz, A small/lightweight statically typed scripting language

Language:ZigLicense:MITStargazers:1170Issues:16Issues:230

imgcat

It's like cat, but for images.

Language:CLicense:ISCStargazers:867Issues:9Issues:40

jp2a

Converts jpg images to ASCII

Language:HTMLLicense:GPL-2.0Stargazers:741Issues:18Issues:20

tikzjax

TikZJax is TikZ running under WebAssembly in the browser

Language:JavaScriptLicense:LPPL-1.3cStargazers:437Issues:11Issues:27

rye

homoiconic dynamic programming language with some new ideas

Language:GoLicense:Apache-2.0Stargazers:395Issues:12Issues:17

dimscord

A Discord Bot & REST Library for Nim.

Language:NimLicense:MITStargazers:224Issues:5Issues:42

Jasper

A programming language. Static types. Full type inference. Garbage collection. --- not stable

Language:C++License:LGPL-2.1Stargazers:57Issues:6Issues:39

diman

Define rust compile time unit systems using const generics

klaxon

Minimalist RPN language that compiles to x86-64 assembly (with more backends to come).

Language:C++License:MPL-2.0Stargazers:20Issues:3Issues:0

system-f-type-checker

System-F type-checker written in Haskell

Language:HaskellStargazers:4Issues:0Issues:0

PunCalculus

A variant of Typed Lambda Calculus with generalized variable punning (ad-hoc polymorphism)

Language:RustLicense:MITStargazers:2Issues:1Issues:10