BlinkDL/Basis external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

BlinkDL/Basis

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/BlinkDL/Basis)

Close

BlinkDL / BasisView on GitHubMore

• External links
• Readme badge

The Basis Programming Language

☆26Jul 28, 2019Updated 6 years ago

Alternatives and similar repositories for Basis

Users that are interested in Basis are comparing it to the libraries listed below

• memset0 / OI-Code

  View on GitHub
  My OI life ...
  ☆14Jan 5, 2019Updated 7 years ago
• chinanf-boy / rustwasm-book

  View on GitHub
  中文翻译:<rustwasm/book> 立即开始学习如何一起使用 Rust 和 WebAssembly 校对 ✅
  ☆20Apr 1, 2021Updated 4 years ago
• mingcheng / aigitcommit

  View on GitHub
  AIGitCommit is a command-line tool that generates meaningful, semantic commit messages from your staged Git changes using AI.
  ☆31Feb 4, 2026Updated 3 weeks ago
• felix01189 / SEED

  View on GitHub
  ☆11Jan 31, 2025Updated last year
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• flowersteam / EAGER

  View on GitHub
  ☆10Oct 11, 2022Updated 3 years ago
• calcu16 / lean_complexity

  View on GitHub
  Complexity analysis in Lean
  ☆10Feb 5, 2024Updated 2 years ago
• Ja1941 / hilberts-axioms

  View on GitHub
  ☆11Oct 31, 2021Updated 4 years ago
• DavidSuperM / davidsuperm.github.io

  View on GitHub
  ☆10Feb 5, 2026Updated 3 weeks ago
• xioxin / BalatroMods

  View on GitHub
  Balatro's mods
  ☆11Apr 11, 2024Updated last year
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• FormalizedFormalLogic / Arithmetization

  View on GitHub
  Formalization of Arithmetization of Mathematics/Metamathematics
  ☆13Mar 8, 2025Updated 11 months ago
• captainwz / react-pocket

  View on GitHub
  A framework that enables you to use intimate jquery-style APIs in React instead of using redux. Light, simple and easy🍹
  ☆11Apr 28, 2018Updated 7 years ago
• AareyanManzoor / Characteristic-Classes

  View on GitHub
  ☆11Sep 15, 2025Updated 5 months ago
• macaodha / explain_teach

  View on GitHub
  Teaching Categories to Human Learners with Visual Explanations - CVPR 2018
  ☆11Jun 21, 2022Updated 3 years ago
• Goalsum / TataruBook

  View on GitHub
  A double-entry bookkeeping and investment performance analysis tool based on SQL tables and views. 一款基于SQL表和视图的复式记账与投资业绩分析工具。
  ☆45Aug 12, 2025Updated 6 months ago
• m4lvin / lean4-pdl

  View on GitHub
  Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)
  ☆14Updated this week
• taliove / weapp-phaser3-adapter

  View on GitHub
  微信小程序phaser3适配解决方案
  ☆14Oct 30, 2018Updated 7 years ago
• dwrensha / math-puzzles-in-lean

  View on GitHub
  math puzzles from various sources, formalized in Lean
  ☆10Oct 21, 2023Updated 2 years ago
• joaoneto / lua-libuv

  View on GitHub
  laboratório de integração Lua com libuv para execução de scripts assíncronos e experimentação de POCs
  ☆16Jan 28, 2025Updated last year
• elsamuko / xz_test

  View on GitHub
  Simple c++ wrapper for xz utils
  ☆13Jul 1, 2021Updated 4 years ago
• mgieseki / gsview

  View on GitHub
  Unofficial copy of GSview 5.0
  ☆11Jun 7, 2019Updated 6 years ago
• sgvaze / SSB

  View on GitHub
  Python package to download and use the SSB datasets
  ☆11Aug 3, 2023Updated 2 years ago
• bjoerge / nano-pubsub

  View on GitHub
  Tiny publish/subscribe
  ☆16Apr 5, 2024Updated last year
• qiu8310 / holiday

  View on GitHub
  holiday api (only for china now)
  ☆10Jun 7, 2018Updated 7 years ago
• daodejingbanben / daodejingbanben.github.io

  View on GitHub
  daodejingbanben Website
  ☆14Nov 5, 2021Updated 4 years ago
• Jirath-Liu / JavaMindMap

  View on GitHub
  结合《Java编程思想》整理的Java知识点脑图
  ☆11Jun 28, 2020Updated 5 years ago
• widersky / wslsync

  View on GitHub
  Refresh Windows hosts file to make sure that everything is in-sync with WSL
  ☆10Jun 21, 2020Updated 5 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• sfu-compbio / PhISCS

  View on GitHub
  Tumor Phylogeny Reconstruction via Integrative use of Single Cell and Bulk Sequencing Data
  ☆11Jul 13, 2020Updated 5 years ago
• whc2001 / FuckCSDN

  View on GitHub
  CSDN 你🐴炸了
  ☆11Dec 6, 2018Updated 7 years ago
• ForeverHaibara / Prover

  View on GitHub
  Auto math prover.
  ☆11Jul 10, 2024Updated last year
• ph-ausseil / llm-training-dataset-builder

  View on GitHub
  Streamlines the creation of dataset to train a Large Language Model with triplets : instruction-input-output . The default configuration …
  ☆13Apr 17, 2023Updated 2 years ago
• oopsunix / ghproxy-web

  View on GitHub
  ☆13Dec 28, 2025Updated 2 months ago
• DTennant / dual-rank-ncd

  View on GitHub
  Novel Visual Category Discovery with Dual Ranking Statistics and Mutual Knowledge Distillation. Bingchen Zhao and Kai Han. (NeurIPS 2021)
  ☆12Aug 20, 2023Updated 2 years ago
• guoj-dev / GuOJBackend

  View on GitHub
  Backend for GuOJ Project.
  ☆11Jun 10, 2021Updated 4 years ago
• ThaddeusJiang / save_it

  View on GitHub
  Save pictures, Search pictures
  ☆10Nov 28, 2025Updated 3 months ago
• daniellutscher / MixMatch-TransferLearning

  View on GitHub
  Combines the SSL Method MixMatch with a pre-trained model (EfficientNet) on a chest x-ray dataset.
  ☆11Jun 22, 2019Updated 6 years ago
• jaywcjlove / react-native-doc

  View on GitHub
  这里是本地离线预览 React Native 文档的方法，解决因官网 CDN 资源导致无法打开官方文档网站。
  ☆11Dec 15, 2023Updated 2 years ago