Beast code in Giters

Rajashekar R M's starred repositories

system-design-primer

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

Language:PythonNOASSERTION267173 6624 294

Idris-dev

A Dependently Typed Functional Programming Language

Language:HaskellNOASSERTION3422 120 2336

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:CSSGPL-3.02185 60 127

HLearn

Homomorphic machine learning

Language:HaskellNOASSERTION1622 141 60

articles

Miscellaneous articles. The readme is the table of contents.

Language:Haskell1249 76 28

mercury

The Mercury logic programming system.

Language:MercuryNOASSERTION894 38 72

arbtt

arbtt, the automatic rule-based time-tracker

Language:HaskellGPL-2.0308 9 126

CS410-17

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

Language:Agda263 23 3

prolog_notes

Some notes taken while working on Prolog

Language:PrologNOASSERTION145 10 4

gnu-apl-mode

GNU APL mode for Emacs

Language:Emacs LispGPL-3.093 6 27

readline-and-ncurses

Example demonstrating combining of readline and ncurses

Language:CISC57 7 3

llvm-dataflow-graphs

drawing graphs for llvm ir. data flow and control flow

Language:C++40 4 1

emacsrepl

EMACS> █

Language:Emacs LispGPL-3.03200

WhyShouldIUseLLDB

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

Language:Python4 20