Sintrastes
Software developer, mathematician. Interested in category theory, functional programming, static type systems, logic programming, and UI frameworks.
Shenandoah County, VA
Sintrastes's Stars
leanprover/lean4
Lean 4 programming language and theorem prover
arkivanov/Decompose
Kotlin Multiplatform lifecycle-aware business logic components (aka BLoCs) with routing (navigation) and pluggable UI (Jetpack Compose, SwiftUI, JS React, etc.)
hermit-os/hermit-rs
Hermit for Rust.
holochain/holochain
The current, performant & industrial strength version of Holochain on Rust.
mozilla/rust-android-gradle
gcanti/monocle-ts
Functional optics: a (partial) porting of Scala monocle
arkivanov/MVIKotlin
Extendable MVI framework for Kotlin Multiplatform with powerful debugging tools (logging and time travel)
HigherOrderCO/hvm-64
arkivanov/Essenty
The most essential libraries for Kotlin Multiplatform development
benruijl/symbolica
A modern computer algebra library for Python and Rust.
dylibso/chicory
Native JVM WebAssembly runtime
ekmett/machines
Networks of composable stream transducers
non-ai-licenses/non-ai-licenses
This repository contains software licenses that restrict software from being used in AI training datasets or AI technologies.
TeXitoi/rust-mdo
Monadic do notation for rust using macro and duck typing
microsoft/monitors4codegen
Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.
image-rs/image-tiff
TIFF decoding and encoding library in pure Rust
BuildTheEarth/terraplusplus
A feature-rich fork of Terra121 focusing on performance.
lightningrodlabs/acorn
Built with Holochain, Acorn is an open-source, peer-to-peer project management application. It is designed and built as a scrum-alternative, Agile Development Pattern for distributed software development teams. Acorn is currently in Alpha testing phase.
twistedfall/serde_rusqlite
Serialize/deserialize rusqlite rows
georust/geotiff
Reading GeoTIFFs in Rust, nothing else!
jasonwyatt/KWasm
Embeddable WebAssembly Interpreter for the JVM, written in Kotlin
BebeSparkelSparkel/biparsing
Bidirectional Parsing. Work in Progress
meshtastic/rust
A Rust library for connecting to and configuring Meshtastic radios.
fan-tom/liquid-rust
Liquid Types implementation for Rust
ekmett/indexed
Indexed Functors for GHC 7.6
glassbeadsoftware/snapmail
repo for snapmail electron based releases
ustitc/krefty
Proper types for your domain
roboguy13/cocategory-logic
dragonfly-ai/spatial
Scala.js repository for spacial data structures. QuadTree, Octree, K-D Tree, BSP, etc.
MarcusDunn/depends
Dependant Types in kotlin