MaciejWas

chapterize

A simple tool for splitting up an ebook into its chapters. Works well with Project Gutenberg texts. May also be used to clean up books for computational text analysis.

courier

A message-passing library, intended for simplifying network applications

ptr-poker

Pointer poking action construction and composition toolkit

flatparse

Fast parsing from bytestrings

concurrency-simulator

Simulate all possible interleavingns of concurrent program in order to check for errors (i. e. deadlock).

grok-1

Grok open release

awesome-nlp-polish

A curated list of resources dedicated to Natural Language Processing (NLP) in polish. Models, tools, datasets.

talks

servant-purescript-codegen-example

Generate your PureScript types and API client from a Haskell Servant backend.

dioxus

App framework for web, desktop, mobile, and more.

ink

🌈 React for interactive command-line apps

simplex-chat

SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

qdrant

Qdrant - High-performance, massive-scale Vector Database for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

libsql

libSQL is a fork of SQLite that is both Open Source, and Open Contributions.

llama-gpt

A self-hosted, offline, ChatGPT-like chatbot. Powered by Llama 2. 100% private, with no data leaving your device. New: Code Llama support!

git-landmine

create local malicious git repo

awesome-machine-learning-in-compilers

Must read research papers and links to tools and datasets that are related to using machine learning for compilers and systems optimisation

dataurl

🌍 CLI tool and Rust crate for parsing and serializing data URLs

chalk

An implementation and definition of the Rust trait system using a PROLOG-like logic solver

chocopy-rs

ChocoPy compiler written in Rust

archinstall

Arch Linux installer - guided, templates etc.

unison

A friendly programming language from the future

rust

Empowering everyone to build reliable and efficient software.

awesome-compilers

:sunglasses: Curated list of awesome resources on Compilers, Interpreters and Runtimes

bytestring

An efficient compact, immutable byte string type (both strict and lazy) suitable for binary or 8-bit character data.

coding-interview-university

A complete computer science study plan to become a software engineer.

lean4

Lean 4 programming language and theorem prover

algonds

Database of programming challenges along some TUI for interactive solving

FizzBuzzEnterpriseEdition

FizzBuzz Enterprise Edition is a no-nonsense implementation of FizzBuzz made by serious businessmen for serious business purposes.

tui-rs

Build terminal user interfaces and dashboards using Rust