k3ut0i

k3ut0i's Stars

• donnemartin/system-design-primer

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

  Language:Python269k6.6k31745.5k

• idris-lang/Idris-dev

  A Dependently Typed Functional Programming Language

  Language:Haskell3.4k1202.3k643

• fniessen/org-html-themes

  Transform your Org mode files into stunning HTML documents in minutes with our Org mode HTML theme. Elevate your productivity and impress your readers! #orgmode #html #theme #productivity #design

  Language:CSS2.2k60127429

• mikeizbicki/HLearn

  Homomorphic machine learning

  Language:Haskell1.6k14160134

• quchen/articles

  Miscellaneous articles. The readme is the table of contents.

  Language:Haskell1.2k762891

• Mercury-Language/mercury

  The Mercury logic programming system.

  Language:Mercury900387254

• nomeata/arbtt

  arbtt, the automatic rule-based time-tracker

  Language:Haskell312912736

• pigworker/CS410-17

  being the lecture materials and exercises for the 2017/18 session of CS410 Advanced Functional Programming at the University of Strathclyde

  Language:Agda26323328

• dtonhofer/prolog_notes

  Some notes taken while working on Prolog

  Language:Prolog15010421

• lokedhs/gnu-apl-mode

  GNU APL mode for Emacs

  Language:Emacs Lisp9462718

• ulfalizer/readline-and-ncurses

  Example demonstrating combining of readline and ncurses

  Language:C57734

• k3ut0i/llvm-dataflow-graphs

  drawing graphs for llvm ir. data flow and control flow

  Language:C++404113

• tetracat/emacsrepl

  EMACS> █

  Language:Emacs Lisp322

• EwanC/WhyShouldIUseLLDB

  Slides and examples from Euro LLVM 2015 talk 'Why Should I Use LLDB?'

  Language:Python4200