Stars
Borgo is a statically typed language that compiles to Go.
Univer is a full-stack framework for creating and editing spreadsheets, documents, and slides on both web and server.
NAND is a logic simulator suite made entirely from NAND gates
PicoGK is a compact and robust geometry kernel for Computational Engineering
Structured concurrency operations for async Rust
A full desktop environment for Linux/Unix using Fyne
SSRV(Super-Scalar RISC-V) --- Super-scalar out-of-order RV32IMC CPU core, 6.4 CoreMark/MHz.
8051 soft CPU core. 700-lines statements for 111 instructions . Fully synthesizable Verilog-2001 core.
A Python library that generates static type annotations by collecting runtime types
Unbearably fast near-real-time hybrid runtime-static type-checking in pure Python.
Build highly concurrent, distributed, and resilient message-driven applications using Java/Scala
An LLM-powered knowledge curation system that researches a topic and generates a full-length report with citations.
Official PyTorch implementation Source code for LLM4SGG: Large Language Models for Weakly Supervised Scene Graph Generation, accepted at CVPR 2024
A library for easily merging multiple LLM experts, and efficiently train the merged LLM.
Fully cross platform dotfile manager and dev environment bootstrapper written in Rust.
A Wasm environment for cross-platform, sandboxed graphical applications.
A bit-serial CPU written in VHDL, with a simulator written in C.
SWE-agent takes a GitHub issue and tries to automatically fix it, using your LM of choice. It can also be employed for offensive cybersecurity or competitive coding challenges. [NeurIPS 2024]
visualAtop is a webTool for visualise the output of Atop tool in a webpage