Articles from github.com

Articles from github.com

polysubml-demo: A simple ML-like language with subtyping, polymorphism, higher rank types, and global type inference (github.com)
2025-2-8

numbat: A statically typed programming language for scientific computations with first class support for physical dimensions and units (github.com)
2025-2-7 programming

Litestack: 6 gems and databases into one (github.com)
2025-2-7

Library sandboxing for Verona (github.com)
2025-2-7

AI by Hand Exercises in Excel (github.com)
2025-2-7 AI

Hotline for modern Apple systems (github.com)
2025-2-6 Apple

Implementation of a RingBuffer in Java with optional FIFO like semantics (github.com)
2025-2-6 Java

comic-web-markup: Comic-web is a markup language for describing comics, as well as a rendering engine for this language (github.com)
2025-2-6

zasper: Fastest and Most Efficient IDE to run Jupyter Notebooks (github.com)
2025-2-6

A Java JIT Compiler and Runtime in Common Lisp (github.com)
2025-2-5 Lisp Java

clr: Checker for Lifetimes and other Refinement types (github.com)
2025-2-4

Lisa: Production-quality expert-system shell (github.com)
2025-2-4 Shell

AMD: Microcode Signature Verification Vulnerability (github.com)
2025-2-4 AMD

Scripts to help setup llms tools easily from fosdem (github.com)
2025-2-3

it - utilities (github.com)
2025-2-3

par: experimental concurrent language with an interactive playground (github.com)
2025-2-3

proposal: sync/v2 (github.com)
2025-2-2

TinyJs - React like framework in 35 lines of code (github.com)
2025-2-2 React

linuxpdf: Linux running inside a PDF file via a RISC-V emulator (github.com)
2025-2-1 Linux

The AI Scientist: Towards Fully Automated Open-Ended Scientific Discovery (github.com)
2025-2-1 AI

Potential RUST-inspired simplification for Go error handling (github.com)
2025-2-1 Rust

nom parser combinators now released in version 8, with a new architecture (github.com)
2025-1-31 Architecture

Rust's rand 0.9.0 is out (github.com)
2025-1-31 Rust

Perforator - cluster-wide continous profiling tool (github.com)
2025-1-30

Introducing SpicyCamCast: A Lightweight Browser-Based Screencast Solution (github.com)
2025-1-30 Browser

keymapper: A cross-platform context-aware key remapper (github.com)
2025-1-30

Sento - Actor framework featuring actors and agents (github.com)
2025-1-29

pwru: Packet, where are you? -- eBPF-based Linux kernel networking debugger (github.com)
2025-1-28 Linux

Google open-sourced pebble OS (github.com)
2025-1-28 Google

Trustfall (github.com)
2025-1-28

Previous Page Next Page