ThinkLogical

ThinkLogical's Stars

• CyanPineapple/PostgreSQL-FDW

  Rust impl of CMU 15-721 23' Proj 1

  Language:Rust2

• dmjio/miso

  :ramen: A tasty Haskell front-end framework

  Language:Haskell2.2k139

• SchrodingerZhu/paguroidea

  A reimplementation of the Flap parser in Rust (with our own modifications applied)!

  Language:Rust531

• matthieu-m/ghost-cell

  An implementation of Joshua Yanovski's Ghost Cell paper.

  Language:Rust44816

• Voultapher/self_cell

  Safe-to-use proc-macro-free self-referential structs in stable Rust.

  Language:Rust24417

• nektos/act

  Run your GitHub Actions locally 🚀

  Language:Go55.2k1.4k

• maciejhirsz/logos

  Create ridiculously fast Lexers

  Language:Rust2.9k120

• pgcentralfoundation/pgrx

  Build Postgres Extensions with Rust!

  Language:Rust3.7k249

• dtolnay/quote

  Rust quasi-quoting

  Language:Rust1.3k89

• CyanPineapple/Bats-tla

  BATS protocol TLA+ specifications

  Language:TLA2

• unisonweb/unison

  A friendly programming language from the future

  Language:Haskell5.8k270

• CyanPineapple/misc

  Some of my satisfactory scripts

  Language:Rust3

• qdrant/qdrant

  Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

  Language:Rust20.5k1.4k

• sindresorhus/awesome

  😎 Awesome lists about all kinds of interesting topics

  332k27.9k