xoltar

followers

following

stars

Intel Labs

http://www.xoltar.org

Bryn Keller's starred repositories

forsp

Forsp: A Forth+Lisp Hybrid Lambda Calculus Language

Language:CMIT12900

reor

Private & local AI personal knowledge management app.

Language:TypeScriptAGPL-3.0676600

vaex

Out-of-Core hybrid Apache Arrow/NumPy DataFrame for Python, ML, visualization and exploration of big tabular data at a billion rows per second 🚀

Language:PythonMIT824600

typst

A new markup-based typesetting system that is powerful and easy to learn.

Language:RustApache-2.03229500

mdpls

Markdown Preview Language Server

Language:Rust4600

BQN

An APL-like programming language

Language:BQNISC87100

scryer-prolog

A modern Prolog implementation written mostly in Rust.

Language:RustBSD-3-Clause199000

OATpy

Python bindings for OAT

Language:RustMIT100

carbon-lang

Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)

Language:C++NOASSERTION3227000

ante

A safe, easy systems language

Language:RustMIT188800

json

JSON for Modern C++

Language:C++MIT4200300

PlotNeuralNet

Latex code for making neural networks diagrams

Language:TeXMIT2174400

rayon

Rayon: A data parallelism library for Rust

Language:RustApache-2.01073900

umap

Uniform Manifold Approximation and Projection

Language:PythonBSD-3-Clause731600

gitoxide

An idiomatic, lean, fast & safe pure Rust implementation of Git

Language:RustApache-2.0868000

mirth

Compiler for the Mirth programming language.

Language:C0BSD44500

fp-core.rs

A library for functional programming in Rust

Language:RustMIT133300

Idris2

A purely functional programming language with first class types

Language:IdrisNOASSERTION248200

neut

A dependently-typed programming language with static memory management

Language:HaskellMIT83600

souffle

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.

Language:C++UPL-1.089900

nipper

A Rust crate for manipulating HTML with CSS selectors

Language:RustApache-2.012100

lets-prove-blocking-queue

Proving a blocking queue deadlock free in a dozen different ways

Language:DafnyCC0-1.04200

broom

An ergonomic tracing garbage collector that supports mark 'n sweep garbage collection

Language:Rust25000

maturin

Build and publish crates with pyo3, cffi and uniffi bindings as well as rust binaries as python packages

Language:RustApache-2.0362100

category-theory-as-a-tool-for-thought

Material for the "Category Theory as a Tool for Thought" talk

Language:HTML3600

purescript-python

A Python backend for PureScript.

Language:PureScriptMIT11900

biomake

GNU-Make-like utility for managing builds and complex workflows

Language:PrologBSD-3-Clause10100

self_update

Self updates for rust executables

Language:RustMIT76700

dunai

Classic FRP, Arrowized FRP, Reactive Programming, and Stream Programming, all via Monadic Stream Functions

Language:Haskell20400

neuro-vectorizer

NeuroVectorizer is a framework that uses deep reinforcement learning (RL) to predict optimal vectorization compiler pragmas for for loops in C and C++ codes.

Language:CBSD-3-Clause8600