progscrape: github.com/typedgrammar/typed-japanese/blob/main/blog.md

Expressing Japanese Grammar Through TypeScript Type System

19 days ago github.com japan typescript

Show HN: Zero-codegen, no-compile TypeScript type inference from Protobufs

3 days ago github.com show typescript

Open Source Typescript Playground

12 days ago github.com javascript typescript

Roguetype: The first ever roguelike written in the OCaml type system

16 days ago github.com ml ocaml plt

Tinytime fork rewritten in Typescript: a straightforward date and time formatter in 770 bytes

4 days ago github.com javascript typescript

Show HN: Gatehouse-TS – TypeScript port of Rust's authorization policy framework

4 days ago github.com rust show typescript

A Visual Journey Through Async Rust

4 days ago github.com rust visualization

Global Pulse Time System (GPTS) A Unified Timekeeping System for Earth

4 days ago github.com earth

sqlc: Generate type-safe code from SQL

30 hours ago github.com database go sql

I create a semantic system, "all are nodes" -- KounGraph -- a semantic operating system

3 hours ago github.com

Library to stream operating system events to AI

15 days ago github.com ai rust

Try: test anti-framework via CL Condition System

11 days ago github.com lisp

montasaurus/result: A simple Rust-like Result type for Python 3

11 days ago github.com python

CodeScientist: Automated scientific discovery system for code-based experiments

11 days ago github.com

Guantr - A Type-Safe JS/TS Authorization Library I Built From Production Needs

8 days ago github.com javascript

Released version 0.1.1 of the MARMOS operating system

2 days ago github.com release rust

A type-safe, intuitive Go SDK for building MCP servers with ease and confidence

3 days ago github.com go

Show HN: Nix Ninja – open-source Ninja-compatible build system for Nix

14 days ago github.com nix release rust show

I'm working on a new open-source Operating System, called an "Internet OS"!

11 days ago github.com

Quarkdown, a modern, Turing-complete, Markdown-based typesetting system, now finally supports exporting to PDF

16 days ago github.com pdf

My professor graded us based on lines of code—how do I game the system?

12 days ago github.com game

Japanese Typography Essentials: Japanese Type Between Japanese and Latin

2 days ago researchgate.net japan

Type-Safe Trees In Typescript

14 days ago yeet.cx typescript

✋ CodeGrab: Interactive CLI tool for sharing code context with LLMs

16 days ago github.com go llm

Bake 1.2.0 is out!

16 days ago github.com rust

The Great Link

16 days ago github.com java

AWS S3 sync does not sync all the files

16 days ago github.com aws

AnuDB – C++ document store using RocksDB

16 days ago github.com c++

anubis: Weighs the soul of incoming HTTP requests using proof-of-work to stop AI crawlers

16 days ago github.com ai http

jnv: Interactive JSON filter using jq [Released v0.6.0 🚀]

16 days ago github.com json release rust

Integrate: a small, lightweight crate for numerical integration