andersk

andersk's Stars

• withastro/astro

  The web framework for content-driven websites. ⭐️ Star to support our work!

  Language:TypeScript43.2k1944.3k2.2k

• solidjs/solid

  A declarative, efficient, and flexible JavaScript library for building user interfaces.

  Language:TypeScript31.4k216954883

• astral-sh/ruff

  An extremely fast Python linter and code formatter, written in Rust.

  Language:Rust27.6k754.5k883

• zulip/zulip

  Zulip server and web application. Open-source team chat that helps teams stay productive and focused.

  Language:Python20.2k3808.9k7.5k

• rsms/inter

  The Inter font family

  Language:Python17.1k162550399

• jgm/djot

  A light markup language

  Language:HTML1.6k3018343

• stared/science-based-games-list

  Science-based games - a collaborative list

  1.6k5917112

• csvoss/onelinerizer

  Shamelessly convert any Python 2 script into a terrible single line of code

  Language:Python1.5k3628116

• code-golf/code-golf

  A game designed to let you show off your code-fu by solving problems in the least number of characters.

  Language:Go1.1k1354197

• Manishearth/rust-gc

  Simple tracing (mark and sweep) garbage collector for Rust

  Language:Rust921177149

• urweb/urweb

  The Ur/Web programming language

  Language:Standard ML8003515166

• victorvde/jpeg2png

  silky smooth JPEG decoding

  Language:C46991026

• kasperpeulen/euclidthegame

  A geometry game based on Euclid's Elements.

  Language:JavaScript4472535574

• cpitclaudel/company-coq

  A Coq IDE build on top of Proof General's Coq mode

  Language:Emacs Lisp3481123930

• sgrimm/lurkers-guide

  The Lurker's Guide to Babylon 5

  Language:HTML17240153

• lxsmnsyc/solid-styled

  Reactive stylesheets for SolidJS

  Language:TypeScript16841710

• nomeata/ghc-proofs

  Let GHC prove program equations for you

  Language:Haskell1451436

• jonsterling/JonPRL

  An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date development, see JonPRL's successor, RedPRL: https://github.com/redprl/sml-redprl]

  Language:Standard ML109201169

• konn/computational-algebra

  General-Purpose Computer Algebra System as an EDSL in Haskell

  Language:HTML921369

• teorth/QED

  Repository for the QED interactive text and possible extensions

  90143013

• elainewlin/MusicParsed

  A better site for song chords with no scrolling and no ads.

  Language:HTML6088516

• dougkeen/BartRunnerAndroid

  BART Runner Android app

  Language:Java4882320

• zephyr-im/zephyr

  An institutional/enterprise-scale distributed real-time messaging and notification system

  Language:C341413014

• achernya/hesiod

  Hesiod name service library

  Language:C198316

• 1ts-org/snipe

  curses based roost, irccloud & zulip client (a snipe is a kind of bird)

  Language:Python187567

• craigacgomez/android_email_policy_patch

  Email Security Policy Patch (Based on CM 10.1 & CM 10.2)

  15713

• craigacgomez/platform_packages_apps_Email

  Android Email Application

  Language:Java12612

• sipb/certassist

  JavaScript interface to ca.mit.edu and ca.csail.mit.edu

  Language:TypeScript10433

• brownplt/scope-graph

  Aims for defmacro style macros, with the type system guaranteeing hygiene and binding-safety.

  Language:Rust890

• roost-im/roost

  An experimental new Zephyr client

  Language:JavaScript46562