yatasun

yatasun's Stars

• IgorFroehner/llvm-ssa-to-functional

  Translator from LLVM-IR in SSA form to Haskell

  Language:Haskell11

• Ceelog/DictionaryByGPT4

  一本 GPT4 生成的单词书📚，超过 8000 个单词分析，涵盖了词义、例句、词根词缀、变形、文化背景、记忆技巧和小故事

  Language:HTML3.1k206

• laike9m/Python-Type-Challenges

  Master Python typing (type hints) with interactive online exercises!

  Language:Python44929

• YueChan/Live

  收集于互联网上的一些高清直播源。

  1.7k186

• sunxfancy/vscode-llvm

  VSCode LLVM Compiler Explorer

  Language:TypeScript2274

• baikaishuipp/jcci

  Java code commit impact, java code change impact analysis，java代码改动影响范围分析工具，精准测试，回归测试范围划定

  Language:Python25641

• cmliu/edgetunnel

  在原版的基础上修改了显示 VLESS 配置信息转换为订阅内容。使用该脚本，你可以方便地将 VLESS 配置信息使用在线配置转换到 Clash 或 Singbox 等工具中。

  Language:JavaScript12.3k7.7k

• ascoders/weekly

  前端精读周刊。帮你理解最前沿、实用的技术。

  Language:JavaScript28.4k3.2k

• ponyorm/pony

  Pony Object Relational Mapper

  Language:Python3.6k243

• Stirling-Tools/Stirling-PDF

  #1 Locally hosted web application that allows you to perform various operations on PDF files

  Language:Java39.9k3.1k

• readysettech/readyset

  Readyset is a MySQL and Postgres wire-compatible caching layer that sits in front of existing databases to speed up queries and horizontally scale read throughput. Under the hood, ReadySet caches the results of cached select statements and incrementally updates these results over time as the underlying data changes.

  Language:Rust4.3k117

• WasmEdge/WasmEdge

  WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedded functions, microservices, smart contracts, and IoT devices.

  Language:C++8.4k755

• songquanpeng/one-api

  OpenAI 接口管理 & 分发系统，支持 Azure、Anthropic Claude、Google PaLM 2 & Gemini、智谱 ChatGLM、百度文心一言、讯飞星火认知、阿里通义千问、360 智脑以及腾讯混元，可用于二次分发管理 key，仅单可执行文件，已打包好 Docker 镜像，一键部署，开箱即用. OpenAI key management & redistribution system, using a single API for all LLMs, and features an English UI.

  Language:JavaScript17.7k4k

• caspartse/eBooksAssistant

  eBooks Assistant for douban.com, weread.qq.com

  Language:Python11314

• polyrabbit/WeCron

  :heavy_check_mark: 微信上的定时提醒 - Cron on WeChat

  Language:JavaScript664115

• greatghoul/remote-working

  收集整理远程工作相关的资料

  Language:Ruby9.9k817

• alexmojaki/heartrate

  Simple real time visualisation of the execution of a Python program.

  Language:Python1.8k123

• sysprog21/shecc

  A self-hosting and educational C optimizing compiler

  Language:C1.1k117

• leaningtech/webvm

  Virtual Machine for the Web

  Language:HTML4.6k986

• cursusdb/cursusdb

  CursusDB is an open-source distributed in-memory yet persisted document oriented database system with real time capabilities.

  Language:Go42611

• flix/flix

  The Flix Programming Language

  Language:Scala2.1k151

• Bistutu/FluentRead

  拥有基于上下文语境的人工智能翻译引擎，为网站提供更加友好的翻译，让所有人都能够拥有基于母语般的阅读体验。

  Language:JavaScript1.3k59

• owtaylor/toolbox-vscode

  Toolbox Visual Studio Code integration

  Language:Shell28322

• chrisnevers/bidirectional-typechecking

  Bidirectional type checking for predicative System F

  Language:OCaml5

• Xfennec/progress

  Linux tool to show progress for cp, mv, dd, ... (formerly known as cv)

  Language:C8.5k312

• blackmatrix7/ios_rule_script

  分流规则、重写写规则及脚本。

  Language:JavaScript17.2k2.8k

• hkust-taco/mlscript

  The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!

  Language:Scala14524

• duanery/coroutine

  The simplest coroutine implementation derived from Linux kernel process switching. Support i386, x86_86, arm64 architecture.

  Language:C91

• secure-software-engineering/phasar

  A LLVM-based static analysis framework.

  Language:C++930140

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k434