vliviu

lean4-samples

Code samples for Lean 4

crewAI

Framework for orchestrating role-playing, autonomous AI agents. By fostering collaborative intelligence, CrewAI empowers agents to work together seamlessly, tackling complex tasks.

rideshare

Rails app for book 📚 "High Performance PostgreSQL for Rails" http://pragprog.com/titles/aapsql

AmbientIntelligencePaper

statsmodels

Statsmodels: statistical modeling and econometrics in Python

UnicodeMath

Plugin for Sublime for inserting unicode math symbols and emoji

ray

A high-performance distributed execution engine

hadoop

Mirror of Apache Hadoop

pcfg

A Python implementation of Probabilistic Context-Free Grammar Parser.

libstatcalc

Math and statistics library (.dll and .so) for use by Progress OpenEdge. Written in C/C++.

gradle-in-action-source

Source code for the Manning book "Gradle in Action"

bayespy

Bayesian Python: Bayesian inference tools for Python

ihog

Visualizing Object Detection Features. ICCV 2013

matlab-plotting

Code for bending Matlab's figures to your will.