Pinned Repositories
AllSketchs
Processing sketches, in which I have worked in the last years; images, videos, prototypes, experiments, tools, works, concepts... Everything is unfinished, some may not work, When I had no ideas, I would open one to see what it was...
awesome-loaf-sketches
A list of opensource loaf sketch collections and tutorials
cheatsheets
Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.
Coroutine_Multi-Tasking_Data_Parser
Cooperative Multitasking Using Generator Based Coroutines in Python...
Custom_Context_Managers
Context Managers in Python...
Data_Parser_via_Python_Generators
Python Generators, Generic File Parsing, Data Type Inference, and Frequency Distributions...
Deep-RL-Stocks
Reinforcement Learning for Stock Market Prediction
Functional_Python
Python Functional Programming using itertools...
JSON_Schema_Verifier
Python Object Deserialization, Serialization, and Verification ...
Set_Theory_and_Hash_Maps
Dictionaries, Set theory, Hashing Problem Sets...
dseeni's Repositories
dseeni/cheatsheets
Posit Cheat Sheets - Can also be found at https://posit.co/resources/cheatsheets/.
dseeni/aeron
Efficient reliable UDP unicast, UDP multicast, and IPC message transport
dseeni/agrona
High Performance data structures and utility methods for Java
dseeni/animate-lean-proofs
tool for turning Lean proofs into Blender animations
dseeni/artio
Artio - Resilient High-Performance FIX and FIXP Gateway
dseeni/batteries
The "batteries included" extended library for the Lean programming language and theorem prover
dseeni/benchmarks
Latency benchmarks for messaging
dseeni/bigloo
a practical Scheme compiler
dseeni/CaptureOneScripts
A collection of AppleScripts for use with Capture One
dseeni/copilot
A stream-based runtime-verification framework for generating hard real-time C code.
dseeni/CS22-Lean-2023
Lean course materials for Brown CS 22, Spring 2023
dseeni/Datamancer
A dataframe library with a dplyr like API
dseeni/datoviz
⚡ Datoviz: high-performance GPU scientific data visualization C/C++/Python library
dseeni/disco
Functional teaching language for use in a discrete mathematics course
dseeni/gym
A toolkit for developing and comparing reinforcement learning algorithms.
dseeni/hmsl
Hierarchical Music Specification Language, Forth tools for experimental music from the 1980's
dseeni/lean4-metaprogramming-book
dseeni/LeanCopilot
LLMs as Copilots for Theorem Proving in Lean
dseeni/LeanDojo
Tool for data extraction and interacting with Lean programmatically.
dseeni/math2001
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
dseeni/mathlib4
The math library of Lean 4
dseeni/plfa.github.io
An introduction to programming language theory in Agda
dseeni/plotnine
A Grammar of Graphics for Python
dseeni/Publications
Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com
dseeni/R-collapse
Advanced and Fast Data Transformation in R
dseeni/ragflow
RAGFlow is an open-source RAG (Retrieval-Augmented Generation) engine based on deep document understanding.
dseeni/seed7
Source code of Seed7
dseeni/simple-binary-encoding
Simple Binary Encoding (SBE) - High Performance Message Codec
dseeni/tidytuesday
Official repo for the #tidytuesday project
dseeni/xmake
🔥 A cross-platform build utility based on Lua