woutersmeenk

woutersmeenk's Stars

• jstz-dev/jstz

  JavaScript runtime and compute platform build on Tezos Smart Rollups

  Language:Rust379

• Homebrew/brew

  🍺 The missing package manager for macOS (or Linux)

  Language:Ruby42.1k9.9k

• josean-dev/dev-environment-files

  Language:Lua3.3k825

• chatwoot/chatwoot

  Open-source live-chat, email support, omni-channel desk. An alternative to Intercom, Zendesk, Salesforce Service Cloud etc. 🔥💬

  Language:Ruby22k3.8k

• ImperialCollegeLondon/FLT

  Ongoing Lean formalisation of the proof of Fermat's Last Theorem

  Language:Lean32852

• dtbinh/OpenCourse

  Language:HTML13737

• Colin166/Lean4

  Lean 4 programming files / scripts that are helpful to scientists and engineers without a strict mathematical background.

  Language:Lean4

• uwdb/Cosette

  Cosette is an automated SQL solver.

  Language:Lean67154

• lftcm2023/lftcm2023

  Language:Lean1714

• madvorak/lean4-tactics

  Overview of tactics in Lean 4 for beginners — longer version

  693

• yshmarov/hotwire-cookbook

  Rails World Hotwire Cookbook. VIEW THE PULL REQUESTS. Feel free to comment

  Language:Ruby15512

• studioyorktown/coloryorktownhall

  A library of color palettes created by Studio Yorktown

  Language:JavaScript83

• yenrenART/fxhash-canvas-template

  Simple fxhash.xyz canvas template to start with.

  Language:JavaScript8

• ada-ada-ada-art/fxhash-webpack-boilerplate

  My custom boilerplate for fxhash with Webpack, Typescript, ESLint and p5.js

  Language:JavaScript3

• alantech/alan

  Autoscalable Programming Language

  Language:Rust30810

• dmikushin/binance-historical-data

  Binance Bincoin Exchange historical trading data

  186

• woutersmeenk/project2

  Language:Java2

• benruijl/adfgvxSolver

  A solver and analysis package for the ADFGVX cipher

  Language:Java33

• woutersmeenk/NonogramSolver

  Language:Scala1

• benruijl/WalledIn

  Welcome to the project page of WalledIn! WalledIn is a 2d multiplayer fast-paced action shooter with some nice gimmicks.

  Language:Java61