zant

zant's Stars

• NationalSecurityAgency/ghidra

  Ghidra is a software reverse engineering (SRE) framework

  Language:Java52.7k1k5k6k

• helix-editor/helix

  A post-modern modal text editor.

  Language:Rust34.5k1914.7k2.6k

• HigherOrderCO/Bend

  A massively parallel, high-level programming language

  Language:Rust17.8k99262439

• LemmyNet/lemmy

  🐀 A link aggregator and forum for the fediverse

  Language:Rust13.4k1212.9k886

• BuilderIO/mitosis

  Write components once, run everywhere. Compiles to React, Vue, Qwik, Solid, Angular, Svelte, and more.

  Language:TypeScript12.7k95492572

• a-h/templ

  A language for writing HTML user interfaces in Go.

  Language:Go8.6k44504284

• scalar/scalar

  Scalar is an open-source API platform:　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　🌐 Modern Rest API Client　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　📖 Beautiful API References　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　✨ 1st-Class OpenAPI/Swagger Support

  Language:TypeScript8.1k24769258

• simplex-chat/simplex-chat

  SimpleX - the first messaging network operating without user identifiers of any kind - 100% private by design! iOS, Android and desktop apps 📱!

  Language:Kotlin7.6k811.4k351

• elk-zone/elk

  A nimble Mastodon web client

  Language:Vue5.6k601.2k566

• jozefg/learn-tt

  A collection of resources for learning type theory and type theory adjacent fields.

  2.2k909118

• hengestone/lua-languages

  Languages that compile to Lua

  611232621

• Bleuje/processing-animations-code

  A set of Processing animations, which have commented code

  Language:Processing43011016

• scalawithcats/scala-with-cats

  Source code for Scala with Cats

  Language:Scala4012490133

• agda/agda-categories

  A new Categories library for Agda

  Language:Agda3712115668

• amuletml/amulet

  An ML-like functional programming language

  Language:Haskell3281711016

• jameshaydon/lawvere

  A categorical programming language with effects

  Language:Haskell2681375

• p2panda/p2panda

  All the things a panda needs

  Language:Rust217113169

• agda/agda2hs

  Compiling Agda code to readable Haskell

  Language:Agda1792218840

• CyberCat-Institute/open-game-engine

  Haskell implementation of open games

  Language:Haskell15012628

• madnight/awesome-category-theory

  A curated list of awesome Category Theory resources.

  106304

• m-bock/purescript-ts-bridge

  Call your PureScript code from TypeScript.

  Language:PureScript48462

• jakedouglas/climatejobs

  Climate jobs for software engineers

  42417

• impermeable/waterproof

  Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

  Language:JavaScript40346

• Effect-TS/rpc

  Language:TypeScript28154

• luchobenitez/monda-guasu

  Language:R19212

• ernius/mergesort

  Merge sort correctness proof

  Language:Agda11300

• olrtg/nvim-i18n

  🌍 A plugin to improve your workflow with i18n

  Language:Lua8100

• vmchale/linkedin-madlibs

  Source for linkedin article generator

  Language:Haskell540

• m-bock/purescript-interactive-data

  Composable UIs for interactive data

  Language:PureScript4250

• Bliss-e-V/was_treibt_der_bundestag

  Language:Python3