Giters
Alexandre Rademaker (arademaker)

arademaker

Geek Repo

218

followers

121

following

638

stars

Company:IBM Research and EMAp/FGV

Location:Rio de Janeiro

Home Page:http://arademaker.github.com

Twitter:@arademaker

Github PK Tool:Github PK Tool

Organizations
delph-in
EMAp
globalwordnet
openrif
own-pt
UniversalPropositions

Alexandre Rademaker's starred repositories

manim

Animation engine for explanatory math videos

Language:PythonLicense:MITStargazers:59467Issues:881Issues:1122

Probabilistic-Programming-and-Bayesian-Methods-for-Hackers

aka "Bayesian Methods for Hackers": An introduction to Bayesian methods + probabilistic programming with a computation/understanding-first, mathematics-second point of view. All in pure Python ;)

Language:Jupyter NotebookLicense:MITStargazers:26473Issues:1373Issues:244

nougat

Implementation of Nougat Neural Optical Understanding for Academic Documents

Language:PythonLicense:MITStargazers:8318Issues:69Issues:192

ML-Papers-Explained

Explanation to key concepts in ML

Stargazers:6737Issues:146Issues:8

text-generation-webui-colab

A colab gradio web UI for running Large Language Models

Language:Jupyter NotebookLicense:UnlicenseStargazers:2053Issues:31Issues:35

mathlib4

The math library of Lean 4

Language:LeanLicense:Apache-2.0Stargazers:1074Issues:40Issues:370

corfu

:desert_island: corfu.el - COmpletion in Region FUnction

Language:Emacs LispLicense:GPL-3.0Stargazers:1055Issues:20Issues:352

frog

Frog is a static blog generator implemented in Racket, targeting Bootstrap and able to use Pygments.

Language:RacketStargazers:914Issues:43Issues:182

alga-paper

A minimalistic, elegant and powerful approach to working with graphs in a functional programming language

Language:TeXStargazers:187Issues:10Issues:1

browser-functions

A lightweight serverless platform that uses Web Browsers as execution engines

Language:JavaScriptLicense:Apache-2.0Stargazers:186Issues:12Issues:8

cs50-section-examples

Language:CStargazers:183Issues:26Issues:0

simplemma

Simple multilingual lemmatizer for Python, especially useful for speed and efficiency

Language:PythonLicense:MITStargazers:130Issues:7Issues:58

cl-waffe2

[Experimental] Graph and Tensor Abstraction for Deep Learning all in Common Lisp

Language:Common LispLicense:MITStargazers:120Issues:11Issues:24

formalising-mathematics-2024

Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.

Language:LeanLicense:Apache-2.0Stargazers:75Issues:6Issues:0

lean4lean

Lean 4 kernel / 'external checker' written in Lean 4

Language:LeanStargazers:64Issues:6Issues:0

LeanAide

Tools based on AI for helping with Lean 4

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:51Issues:9Issues:19

Saturn

Experiments with SAT solvers with proofs in Lean 4

Language:LeanLicense:MITStargazers:50Issues:3Issues:1

reblocks

A fork of Weblocks Common Lisp web framework

Language:Common LispLicense:NOASSERTIONStargazers:47Issues:5Issues:19

nanoda_lib

Library implementing type inference/checking functionality based on the Lean theorem prover

Language:RustLicense:Apache-2.0Stargazers:31Issues:6Issues:2

packages-swipy

Python interface for SWI-Prolog

Language:CStargazers:31Issues:3Issues:6

gkc

A reasoning system for large knowledge bases.

Language:CLicense:AGPL-3.0Stargazers:26Issues:0Issues:0

ordia

Wikidata lexemes presentations

Language:Jupyter NotebookLicense:Apache-2.0Stargazers:24Issues:7Issues:149

pseudo-code-instructions

Pseudo-code Instructions dataset

Language:PythonLicense:Apache-2.0Stargazers:18Issues:1Issues:0

geoquery-src

A mirror of the original GeoQuery info site

Language:PrologLicense:GPL-2.0Stargazers:8Issues:3Issues:0

udeasy

A tool for querying CoNLL-U files

Language:PythonStargazers:8Issues:0Issues:4

graphiql-cost-plugin

Plugin for the GraphiQL IDE that displays GraphQL query cost

Language:TypeScriptLicense:MITStargazers:5Issues:1073Issues:0

mistral

Mistral LLM API examples for my book "Loving Common Lisp, or the Savvy Programmer's Secret Weapon"

Language:Common LispLicense:Apache-2.0Stargazers:4Issues:4Issues:0

AlphaMWE

AlphaMWE: Construction of Multilingual Parallel Corpora with MWE Annotations

Stargazers:3Issues:0Issues:0

lean4-mode

Emacs major mode for Lean 4

Language:Emacs LispLicense:Apache-2.0Stargazers:3Issues:1Issues:0

delphin

The Lean port of PyDelphin, a library to integrate DELPH-IN toolsets

Language:LeanLicense:Apache-2.0Stargazers:2Issues:1Issues:3