thalesmg

thalesmg's Stars

• lspitzner/snake

  A terminal interface for Snake, adapted to use FRP

  Language:Haskell43

• justinwoo/nix-shorts

  A collection of short notes about Nix, down to what is immediately needed for users.

  Language:Nix44221

• qfpl/reflex-tutorial

  Language:Haskell2911

• projectional-haskell/structured-haskell-mode

  Structured editing minor mode for Haskell in Emacs

  Language:Emacs Lisp54238

• ChrisPenner/lens-regex-pcre

  Text lenses using PCRE regexes

  Language:Haskell1261

• haskell-waargonaut/waargonaut

  JSON decoding/encoding/manipulation library.

  Language:Haskell9414

• sproctor/dirtywater

  MUD server written in Haskell

  Language:Haskell41

• sproctor/DikuMUD-Rust

  port of DikuMUD to Rust.

  Language:Rust51

• akash-akya/emacs-flymake-cursor

  Show flymake errors in minibuffer. Works with Emacs >=26

  Language:Emacs Lisp6

• egison/egison

  The Egison Programming Language

  Language:Haskell91332

• egison/egison-haskell

  Template Haskell Implementation of Egison Pattern Matching

  Language:Haskell322

• WebGoat/WebGoat

  WebGoat is a deliberately insecure application

  Language:JavaScript7.2k5.7k

• dyu/ffi-overhead

  comparing the c ffi (foreign function interface) overhead on various programming languages

  Language:C67141

• nh2/hatrace

  scriptable strace

  Language:Haskell12324

• jaredly/veoluz

  "I see light" - visualize the paths of millions of light rays through reflection, refraction and diffusion

  Language:Rust1517

• dylanaraps/pure-bash-bible

  📖 A collection of pure bash alternatives to external processes.

  Language:Shell36.7k3.3k

• FintanH/FintanH.github.io

  Language:CSS1

• graninas/automatic-whitebox-testing-showcase

  Automatic white-box testing with Free monads: approach description and showcase

  Language:Haskell834

• rust-lang/async-book

  Asynchronous Programming in Rust

  Language:Shell1.9k252

• tweag/funflow

  Functional workflows

  Language:Haskell36232

• aphyr/distsys-class

  Class materials for a distributed systems lecture series

  9.1k681

• goldfirere/singletons

  Fake dependent types in Haskell using singletons

  Language:Haskell28837

• freedomofpress/securedrop

  GitHub repository for the SecureDrop whistleblower platform. Do not submit tips here!

  Language:Python3.6k688

• kdn251/interviews

  Everything you need to know to get the job.

  Language:Java63.8k12.9k

• donnemartin/system-design-primer

  Learn how to design large-scale systems. Prep for the system design interview. Includes Anki flashcards.

  Language:Python285k47.5k

• ozkl/soso

  A Simple Unix-like operating system

  Language:C91147

• GetFirefly/firefly

  An alternative BEAM implementation, designed for WebAssembly

  Language:Rust3.6k106

• xadrianzetx/fullstack.ai

  Language:Python76149

• igushev/IgushArray

  Language:C++33311

• canonical/dqlite

  Embeddable, replicated and fault-tolerant SQL engine.

  Language:C3.9k224