xoltar
Follow
Stars
Private & local AI personal knowledge management app for high entropy people.
Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second 🚀
A new markup-based typesetting system that is powerful and easy to learn.
A modern Prolog implementation written mostly in Rust.
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
Latex code for making neural networks diagrams
An idiomatic, lean, fast & safe pure Rust implementation of Git
A library for functional programming in Rust
A purely functional programming language with first class types
A functional programming language with static memory management
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
A Rust crate for manipulating HTML with CSS selectors
Proving a blocking queue deadlock free in a dozen different ways
An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection
Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages
Material for the "Category Theory as a Tool for Thought" talk
A Python backend for PureScript.
GNU-Make-like utility for managing builds and complex workflows
Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions
NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops in C and C++ codes.