rafald

carbon-lang

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

logseq

A privacy-first, open-source platform for knowledge management and collaboration. Download link: http://github.com/logseq/logseq/releases. roadmap: http://trello.com/b/8txSM12G/roadmap

rocksdb

A library that provides an embeddable, persistent key-value store for fast storage.

revanced-manager

💊 Application to use ReVanced on Android

libzmq

ZeroMQ core engine in C++, implements ZMTP/3.1

LibreTube

An alternative frontend for YouTube, for Android.

The-Grand-Complete-Data-Science-Materials

asio

Asio C++ Library

weaver

Programming framework for writing and deploying cloud applications.

nng

nanomsg-next-generation -- light-weight brokerless messaging

pistache

A high-performance REST toolkit written in C++

SkyTube

Copylefted libre / open source YouTube player for Android

stat_rethinking_2023

Statistical Rethinking Course for Jan-Mar 2023

stdexec

`std::execution`, the proposed C++ framework for asynchronous and parallel programming.

Publications

Misc. publications, conference slides, etc. For more, go to http://BartoszMilewski.com

Logseq-Git-Sync-101

This repo aims to help Logseq users to sync their data with Git and GitHub.

spectra

A header-only C++ library for large scale eigenvalue problems

libprotobuf-mutator

Library for structured fuzzing with protobuffers

obsidian-plantuml

Generate PlantUML Diagrams inside Obsidian.md

yi-note

YiNote browser extension - online video note taking tool

verse

The Verse Programming Language

zen_installer

Graphical installer for Arch Linux

unfolder

Repository with code snippets that accompany episodes of The Haskell Unfolder

pocketbook-sdk

PocketBook eReaders SDK collection

logseq-swapblocks-plugin

Statistics-Session-Notes

This repository contains live session notes of Statistics playlist on my youtube channel

qtah

Qt bindings for Haskell.

Penjing

C++20 Generalized Suffix Tree implementation

dao-fp-exercises

Idris answers to exercises from Bartosz Milewski's _The Dao of Functional Programming_ (https://github.com/BartoszMilewski/Publications/tree/master/TheDaoOfFP)

android-ndk

Android NDK Bindings for Chicken Scheme