Skip to content
View ascandone's full-sized avatar

Highlights

  • Pro

Block or report ascandone

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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

cq - High-Performance SQL Query Engine for CSV Files

C 54 4 Updated Dec 18, 2025

⚗️ | System F-ω pure functional language with deterministic, GC-free memory via Interaction Nets and automatic parallelism.

Haskell 61 1 Updated Dec 18, 2025

Koka language compiler and interpreter

Koka 3,767 193 Updated Dec 5, 2025

Build rich content websites with Markdown and React

TypeScript 5,304 163 Updated Aug 12, 2025

Simple back propagation implementation

Python 2 Updated Jan 8, 2025

ivy, an APL-like calculator

Go 1,437 113 Updated Dec 20, 2025
JavaScript 2 Updated Oct 17, 2025
Jupyter Notebook 99 42 Updated Dec 17, 2025

The Noct Programming Language. Noct is a tiny and fast scripting language featuring a JIT virtual machine, a robust generational GC, and a novel Dictionary-based OOP paradigm.

C 7 1 Updated Oct 16, 2025

Par (⅋) is an experimental concurrent programming language. It's an attempt to bring the expressive power of linear logic into practice.

Rust 637 32 Updated Dec 19, 2025
C++ 3 Updated Oct 2, 2025

Match compilation algorithm in OCaml

OCaml 31 1 Updated Feb 24, 2025

The parallel, concurrent, and functional programming language for scalable software development

Rust 465 6 Updated Nov 20, 2025

Node.js (No)SQLite

1 1 Updated Jul 16, 2025

payments repository

Go 41 11 Updated Dec 19, 2025

Template for NodeJS projects

TypeScript 2 Updated Jun 23, 2025

Decision procedures for Presburger arithmetic in Haskell

Haskell 30 10 Updated Mar 29, 2025

PandaAGI provides a simple, intuitive API for building general AI agents in just a few lines of code

Python 315 49 Updated Sep 30, 2025

A friendly programming language from the future

Haskell 6,446 292 Updated Dec 21, 2025

Pure functional programming with whole-program mutability inference

Rust 78 2 Updated Dec 18, 2025

A lightweight JIT compiler based on MIR (Medium Internal Representation) and C11 JIT compiler and interpreter based on MIR

C 2,503 158 Updated Aug 29, 2024

OpenAPI 3.0 (and Swagger v2) implementation for Go (parsing, converting, validation, and more)

Go 3,119 484 Updated Oct 20, 2025

The docs of MoonBit programming language

MoonBit 2,013 104 Updated Dec 15, 2025

Offline, privacy-first grammar checker. Fast, open-source, Rust-powered

Rust 8,836 238 Updated Dec 19, 2025

Distributed transactional key-value database, originally created to complement TiDB

Rust 16,391 2,233 Updated Dec 19, 2025

A lightweight Database GUI in your browser. It supports connecting to Postgres, MySQL, and SQLite.

TypeScript 5,394 209 Updated Dec 11, 2025

The Grain compiler toolchain and CLI. Home of the modern web staple. 🌾

Reason 3,401 120 Updated Dec 14, 2025
OCaml 42 Updated Aug 11, 2025

Virtual whiteboard for sketching hand-drawn like diagrams

TypeScript 112,801 11,902 Updated Dec 20, 2025
Next