ayanamists

ayanamists's Stars

• TechForPalestine/badges

  Badges

  23311

• advanceflow/Elisp

  12826

• magicuidesign/magicui

  UI Library for Design Engineers. Animated components and effects you can copy and paste into your apps. Free. Open Source.

  Language:TypeScript9.8k383

• AndrasKovacs/elaboration-zoo

  Minimal implementations for dependent type checking and elaboration

  Language:Haskell60535

• josephsumabat/static-ls

  Language:Haskell12714

• ArchiveBox/ArchiveBox

  🗃 Open source self-hosted web archiving. Takes URLs/browser history/bookmarks/Pocket/Pinboard/etc., saves HTML, JS, PDFs, media, and more...

  Language:Python21k1.1k

• eval-exec/eee.el

  Launch TUI commands in an external terminal asynchronously, seamlessly integrating callbacks within Emacs. Elevate your Emacs experience with eee.el

  Language:Emacs Lisp805

• houtianze/bypy

  Python client for Baidu Yun (Personal Cloud Storage) 百度云/百度网盘Python客户端

  Language:Python7.8k1.4k

• ForkBug/BaiduPan

  百度盘命令行工具，和百度盘C# SDK

  Language:C#5

• cmj2002/warp-docker

  Run Cloudflare WARP in Docker.

  Language:Shell25985

• glams-lean-2024/formal-2024

  Course repository for GlaMS - Formalising Mathematics in Lean (2024)

  Language:Lean96

• RumbleDB/rumble

  ⛈️ RumbleDB 1.21.0 "Hawthorn blossom" 🌳 for Apache Spark | Run queries on your large-scale, messy JSON-like data (JSON, text, CSV, Parquet, ROOT, AVRO, SVM...) | No install required (just a jar to download) | Declarative Machine Learning and more

  Language:Java21282

• tanakh/easy-scraper

  Easy scraping library

  Language:Rust1906

• Consensys/dafny-training

  Some examples of Dafny code to support training sessions

  Language:Dafny56

• reflex-frp/reflex-platform

  A curated package set and set of tools that let you build Haskell packages so they can run on a variety of platforms. reflex-platform is built on top of the nix package manager.

  Language:Nix719164

• sano-jin/bussproofs-html

  Proof tree renderer on HTML, which can be used with KaTeX.

  Language:TypeScript5

• Kappa-Dev/KappaTools

  Tool suite for kappa models. Documentation and binaries can be found in the release section. Try it online at

  Language:OCaml11241

• Robert-van-Engelen/tinylisp

  Lisp in 99 lines of C and how to write one yourself. Includes 20 Lisp primitives, garbage collection and REPL. Includes tail-call optimized versions for speed and reduced memory use.

  Language:C84236

• dricketts/teaching-concurrency

  Specifications and safety proofs in different tools of a simple concurrent algorithm

  Language:Coq232

• penrose/penrose

  Create beautiful diagrams just by typing notation in plain text.

  Language:TypeScript7.4k338

• boomerang-lang/boomerang

  The Boomerang Bidirectional Programming Language

  Language:OCaml719

• BruceDone/awesome-crawler

  A collection of awesome web crawler,spider in different languages

  6.4k707

• RSSNext/Follow

  🧡 Next generation information browser.

  Language:TypeScript10.8k467

• sayo-hs/heftia

  higher-order effects done right for Haskell

  Language:Haskell461

• nikitadanilov/3-lisp

  3-lisp implementation from Procedural Reflection in Programming Languages, volume i., Brian Cantwell Smith

  Language:Common Lisp988

• forthespada/CampusShame

  互联网仍有记忆！那些曾经在校招过程中毁过口头offer、意向书、三方的公司！纵然人微言轻，也想尽绵薄之力！

  3.1k154

• dandavison/delta

  A syntax-highlighting pager for git, diff, grep, and blame output

  Language:Rust22.7k380

• yishn/tikzcd-editor

  A simple visual editor for creating commutative diagrams.

  Language:JavaScript1.9k99

• drizzle-team/drizzle-orm

  Headless TypeScript ORM with a head. Runs on Node, Bun and Deno. Lives on the Edge and yes, it's a JavaScript ORM too 😅

  Language:TypeScript23.6k579

• mzlogin/chinese-copywriting-guidelines

  Chinese Copywriting Guidelines：中文文案排版指北（简体中文版）

  Language:CoffeeScript4.2k486