Leonardo Lima (leonardolima)

leonardolima

Geek Repo

Location:Denmark

Home Page:nameless.computer

Github PK Tool:Github PK Tool


Organizations
meta-logic
runtime-monitoring

Leonardo Lima's starred repositories

react-draggable

React draggable component

Language:JavaScriptLicense:MITStargazers:8894Issues:80Issues:496

Detours

Detours is a software package for monitoring and instrumenting API calls on Windows. It is distributed in source code form.

magic-trace

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

Language:OCamlLicense:MITStargazers:4508Issues:33Issues:92

patat

Terminal-based presentations using Pandoc

Language:HaskellLicense:GPL-2.0Stargazers:2359Issues:33Issues:73

futhark

:boom::computer::boom: A data-parallel functional programming language

Language:HaskellLicense:ISCStargazers:2348Issues:67Issues:1360

book

A textbook on informal homotopy type theory

octosuite

GitHub Data Analysis Framework.

Language:PythonLicense:GPL-3.0Stargazers:1778Issues:29Issues:8

org-journal

A simple org-mode based journaling mode

Language:Emacs LispLicense:BSD-3-ClauseStargazers:1229Issues:30Issues:322

no-style-please

A (nearly) no-CSS, fast, minimalist Jekyll theme.

Language:HTMLLicense:MITStargazers:1022Issues:8Issues:42

convos

Convos :busts_in_silhouette: is the simplest way to use IRC in your browser

Language:PerlLicense:Artistic-2.0Stargazers:1012Issues:32Issues:464

effects-bibliography

A collaborative bibliography of work related to the theory and practice of computational effects

Hercules

Hercules is a collaborative software development project revolving around the creation of a robust massively multiplayer online role playing game (MMORPG) server package. Written in C, the program is very versatile and provides NPCs, warps and modifications. The project is jointly managed by a group of volunteers located around the world as well as a tremendous community providing QA and support. Hercules is a continuation of the original Athena project.

Language:CLicense:GPL-3.0Stargazers:881Issues:154Issues:1218

automated-irrigation-system

This is the software of an open source automated irrigation system. The complete setup including hardware can be found in the README.

practical-fm

A gently curated list of companies using verification formal methods in industry

risotto

A minimalist, responsive hugo theme inspired by terminal ricing aesthetics.

Language:CSSLicense:MITStargazers:363Issues:6Issues:37

agda-unimath

The agda-unimath library

Language:AgdaLicense:MITStargazers:211Issues:11Issues:139

ppx_expect

Cram like framework for OCaml

Language:OCamlLicense:MITStargazers:139Issues:10Issues:33

landmarks

A Simple Profiling Library for OCaml

Language:OCamlLicense:MITStargazers:128Issues:13Issues:25

meio

Monitor Eio programs

Language:OCamlLicense:MITStargazers:76Issues:3Issues:15

grenier

Misc algorithms in OCaml (HyperLogLog, jump consistent hashing)

Language:OCamlLicense:ISCStargazers:66Issues:7Issues:5

mui-nested-menu

The package lets you nested menu items infinitely deep.

Language:TypeScriptLicense:MITStargazers:64Issues:2Issues:29

memtrace

Streaming client for OCaml's Memprof

Language:OCamlLicense:MITStargazers:61Issues:12Issues:6

proof-demos

Repository where I'll collect some demos of proof assistants that I show to various people in order to spread the magic

Language:CoqStargazers:38Issues:4Issues:0

multicoretests

PBT testsuite and libraries for testing multicore OCaml

Language:OCamlLicense:BSD-2-ClauseStargazers:36Issues:2Issues:136

tracing

Tracing library

Language:OCamlLicense:MITStargazers:27Issues:7Issues:0

dejavu

The DejaVu runtime verification system, using BDDs for storing data occurring in observed events.

Language:ScalaLicense:Apache-2.0Stargazers:18Issues:3Issues:2

memtrace_viewer_with_deps

Interactive memory profiler based on Memtrace

Language:OCamlLicense:MITStargazers:8Issues:8Issues:1

sellf

SubExponential Linear Logic Framework for reasoning about sequent calculus systems

Language:OCamlLicense:BSD-3-ClauseStargazers:2Issues:2Issues:0