8000 Choc13 (Matt Thornton) / Starred · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View Choc13's full-sized avatar

Organizations

@Symbolica

Block or report Choc13

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

Simple refinement types for Rust; parse, don't validate!

Rust 74 3 Updated Apr 8, 2025

Asynchronous Programming in Rust, published by Packt

Rust 240 72 Updated Dec 10, 2024

Hypothesis-like property testing for Rust

Rust 1,891 187 Updated Jun 20, 2025

A safe, extensible ORM and Query Builder for Rust

Rust 13,426 1,133 Updated Jun 21, 2025

Rust implementation of Reactive Extensions.

Rust 1,018 69 Updated Oct 25, 2024

A fully asynchronous, futures-based Kafka client library for Rust based on librdkafka

Rust 1,790 307 Updated Jun 22, 2025

Consul.NET is a .NET client library for the Consul HTTP API

C# 344 93 Updated May 26, 2025

.NET Stream Processing Library for Apache Kafka 🚀

C# 499 79 Updated Jun 5, 2025
TypeScript 2 Updated Nov 26, 2022

A smooth testing lib for F#. APIs made for humans! Strong testing methodologies for everyone!

F# 709 98 Updated Mar 30, 2025

Easy to use .NET library for data and time series manipulation and for scientific programming

F# 967 194 Updated Jul 7, 2024

A general F# SQL database erasing type provider, supporting LINQ queries, schema exploration, individuals, CRUD operations and much more besides.

F# 602 146 Updated Jun 19, 2025

2 Lines of code to track ML experiments + EDA + check into Github

Jupyter Notebook 28 8 Updated Dec 14, 2022

Provides common abstractions for domain modelling

C# 8 3 Updated Sep 3, 2024

Symbolica's open-source symbolic execution engine.

C# 65 6 Updated Sep 3, 2024

Verilog Configurable Cache

Verilog 178 36 Updated Dec 2, 2024

This package's intention is to expose an abstract base class to allow https://github.com/dotnet/orleans/ to work with long running CPU bound synchronous work, without becoming overloaded.

C# 71 12 Updated Mar 16, 2025

A lightweight server clone of Azure Storage that simulates most of the commands supported by it with minimal dependencies

TypeScript 2,002 349 Updated Jun 18, 2025

Cloud Native application framework for .NET

C# 10,410 2,088 Updated Jun 23, 2025

Official Git mirror of the SQLite source tree

C 7,967 1,206 Updated Jun 23, 2025

Loading icons and small animations built with pure SVG.

HTML 6,940 4,931 Updated Jan 2, 2025
JavaScript 21 3 Updated Feb 25, 2020

OWASP Juice Shop: Probably the most modern and sophisticated insecure web application

TypeScript 11,363 13,350 Updated Jun 20, 2025

A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

Rust 16,539 1,445 Updated Jun 23, 2025

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies.

LLVM 33,162 14,287 Updated Jun 24, 2025

Threshold Access Control (TACo) Node Runtime

Python 703 273 Updated Jun 23, 2025

OCaml DSL for verifiable computation

OCaml 501 84 Updated Jun 4, 2025

The decentralized package manager for C++ and friends 🏝️

F# 948 31 Updated Dec 8, 2022
Next
0