Otterlang programming language 🦦

An embedded scheme interpreter in Rust

A friendly programming language from the future

A Neovim plugin helping to navigate in Unison codebase

Language development libraries for Rust

Machine Learning Engineering Open Book

Implementation of all RL algorithms in a simpler way

Achieve the llama3 inference step-by-step, grasp the core concepts, master the process derivation, implement the code.

🐀 A decentralised discussion platform for communities.

🍿 A collection of QoL plugins for Neovim

A fast, friendly, functional language.

🌀 Async-first sharded hashmap for Rust.

Compiler for the Gren programming language

The magical reactive component framework for Django ✨

https://disneystreaming.github.io/smithy4s/

コード例で学ぶ Lean 言語

Better configuration for less

Control all your tooling from a single console

A python-ish pure and total functional programming language

Obsidian sync plugin for scrybble

Create your own programming language with Rust

RAGFlow is a leading open-source Retrieval-Augmented Generation (RAG) engine that fuses cutting-edge RAG with Agent capabilities to create a superior context layer for LLMs

🌐 | HTTP primitives for Lean 4

🌎 machine learning tutorials (mainly in Python3)

All Algorithms implemented in Python

😱 Falsehoods Programmers Believe in

A Paredit implementation for Neovim, built using Treesitter and written in Lua.

Type-safe high-level ORM for Postgres

Tree Sitter grammar for Unison programming language