Giters
Leonardo Lima (leonardolima)

leonardolima

Geek Repo

4

followers

4

following

105

stars

Location:Denmark

Home Page:nameless.computer

Github PK Tool:Github PK Tool

Organizations
meta-logic
runtime-monitoring

Leonardo Lima's starred repositories

jekyll

:globe_with_meridians: Jekyll is a blog-aware static site generator in Ruby

Language:RubyLicense:MITStargazers:48605Issues:1426Issues:4818

system-design-interview

System design interview for IT companies

Stargazers:21343Issues:973Issues:14

coursera-dl

Script for downloading Coursera.org videos and naming them.

Language:PythonLicense:LGPL-3.0Stargazers:9309Issues:327Issues:642

translate-shell

:speech_balloon: Command-line translator using Google Translate, Bing Translator, Yandex.Translate, etc.

Language:AwkLicense:UnlicenseStargazers:6829Issues:144Issues:444

mastering-emacs-in-one-year-guide

Be great at emacs in one year

Stargazers:6336Issues:368Issues:120

how2

AI for the Command Line

Language:JavaScriptLicense:MITStargazers:5712Issues:61Issues:71

ocaml

The core OCaml system: compilers, runtime system, base libraries

Language:OCamlLicense:NOASSERTIONStargazers:5279Issues:202Issues:7437

coq

Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.

Language:OCamlLicense:LGPL-2.1Stargazers:4699Issues:103Issues:9943

projectile

Project Interaction Library for Emacs

Language:Emacs LispLicense:GPL-3.0Stargazers:3947Issues:76Issues:1017

mage

Magic Another Game Engine

Language:JavaLicense:MITStargazers:1803Issues:98Issues:7445

core

Jane Street Capital's standard library overlay

Language:OCamlLicense:MITStargazers:1099Issues:45Issues:121

OpenLogic

An open-source, customizable intermediate logic textbook

Language:TeXLicense:CC-BY-4.0Stargazers:1015Issues:98Issues:169

nltk-trainer

Train NLTK objects with zero code

Language:PythonLicense:Apache-2.0Stargazers:747Issues:64Issues:23

Dissertate

Beautiful LaTeX dissertation templates.

Language:TeXLicense:AGPL-3.0Stargazers:711Issues:30Issues:63

coding-questions

Coding interview questions with solutions (deprecated)

Language:C++Stargazers:392Issues:39Issues:5

drum

Reddit / Hacker News clone for Mezzanine

Language:PythonLicense:BSD-2-ClauseStargazers:388Issues:25Issues:32

mnml-ghost-theme

A minimal, responsive, fast Ghost 5.0 blog theme with great typography. Comes with paid membership support, Disqus comments, syntax highlighting, and KaTeX for mathematics, and more.

Language:CSSLicense:MITStargazers:293Issues:9Issues:47

disaster

Disassemble C/C++ code under cursor in Emacs

Language:Emacs LispStargazers:289Issues:10Issues:14

highlight-symbol.el

Emacs: automatic and manual symbol highlighting

Language:Emacs LispStargazers:274Issues:13Issues:41

jackline

minimalistic secure XMPP client in OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:251Issues:24Issues:150

demoscene-starter-kits

Want to start making demos but don't know where to begin? Look no further!

Language:CStargazers:245Issues:18Issues:2

etl-language-comparison

Count the number of times certain words were said in a particular neighborhood. Performed as a basic MapReduce job against 25M tweets. Implemented with different programming languages as a educational exercise.

Language:ErlangStargazers:187Issues:13Issues:8

eproject

file grouping ("project") extension for emacs

Language:Emacs LispStargazers:160Issues:10Issues:26

teyjus

An efficient implementation of the higher-order logic programming language Lambda Prolog

Language:CLicense:GPL-3.0Stargazers:141Issues:15Issues:123

Encyclopedia

An Open Encyclopedia of Proof Systems

Language:TeXStargazers:116Issues:21Issues:38

abella

An interactive theorem prover based on lambda-tree syntax

Language:OCamlLicense:GPL-3.0Stargazers:88Issues:10Issues:138

Skeptik

A library for Proof Theory (especially Proof Compression) in Scala.

Language:SMTStargazers:33Issues:10Issues:86