tautologico

tautologico's Stars

• codecrafters-io/build-your-own-x

  Master programming by recreating your favorite technologies from scratch.

  Language:Markdown319k5.5k70729.6k

• gothinkster/realworld

  "The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more

  Language:TypeScript80.9k1.5k5387.4k

• yewstack/yew

  Rust / Wasm framework for creating reliable and efficient web applications

  Language:MDX31k2981.2k1.4k

• zellij-org/zellij

  A terminal workspace with batteries included

  Language:Rust22.4k1042.1k676

• corkami/pics

  File formats dissections and more...

  Language:Assembly10.6k36415742

• janestreet/magic-trace

  magic-trace collects and displays high-resolution traces of what a process is doing

  Language:OCaml4.7k3810294

• below/HelloSilicon

  An introduction to ARM64 assembly on Apple Silicon Macs

  Language:Assembly4.4k5118297

• model-checking/kani

  Kani Rust Verifier

  Language:Rust2.3k231.7k97

• lumeland/lume

  🔥 Static site generator for Deno 🦕

  Language:TypeScript2k1540194

• hylo-lang/hylo

  The Hylo programming language

  Language:Swift1.3k2645259

• rgrinberg/opium

  Sinatra like web toolkit for OCaml

  Language:OCaml7652710867

• brotzeit/rustic

  Rust development environment for Emacs

  Language:Emacs Lisp72813300101

• nota-lang/nota

  A document language for the browser

  Language:TypeScript704191912

• inhabitedtype/httpaf

  A high performance, memory efficient, and scalable web server written in OCaml

  Language:OCaml537195444

• binji/raw-wasm

  Raw WebAssembly demos

  Language:WebAssembly43713417

• ocamllabs/vscode-ocaml-platform

  Visual Studio Code extension for OCaml

  Language:OCaml3451734578

• anmonteiro/aws-lambda-ocaml-runtime

  An OCaml custom runtime for AWS Lambda and Vercel

  Language:OCaml2077108

• jbaicoianu/janusweb

  An in-browser implementation of JanusVR

  Language:JavaScript1811620652

• raphamorim/gameboy

  Gameboy Emulator written in Rust and WebAssembly. 8-bit microprocessor: Sharp LR35902.

  Language:Rust116425

• codemodsquad/astx

  Super powerful structural search and replace for JavaScript and TypeScript to automate your refactoring

  Language:TypeScript1095156

• art-w/deque

  Purely Functional, Real-Time Deques with Catenation (Kaplan & Tarjan)

  Language:OCaml104314

• stcarrez/ada-util

  Ada Utility Library - Composing streams, processes, logs, serialization, encoders and more

  Language:Ada7094014

• conal/talk-2021-can-tensor-programming-be-liberated

  Talk: "Can Tensor Programming Be Liberated from the Fortran Data Paradigm?"

  Language:TeX64412

• lexi-lambda/blackboard

  A (very) unfinished OpenType Math layout and rendering engine in Racket

  Language:Racket54821

• NickBarnes/inside-ocaml

  Documentation of the OCaml implementation

  53800

• Armael/pp_loc

  Pretty-printing for error source locations

  Language:OCaml35625

• samdphillips/raco-pkg-env

  virtualenv like tool for Racket

  Language:Racket315102

• alexandreruban/pagination-engine-screencast

  Learn to create Ruby on Rails engines by building a pagination engine.

  Language:Ruby11200

• dmitrig/ocaml-ts-mode

  OCaml major mode using tree-sitter

  Language:Emacs Lisp7113

• AnzenKodo/dblog

  dblog blog generator, that generates blog from Markdown and JSON file. dblog handles technical parts, so you can focus on hard part writing.

  Language:JavaScript3100