miguel-ambrona

miguel-ambrona's Stars

• 3b1b/manim

  Animation engine for explanatory math videos

  Language:Python74.2k9121.2k6.5k

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python29.3k1741.6k2.1k

• lichess-org/lila

  ♞ lichess.org: the forever free, adless and open source chess server ♞

  Language:Scala16k2289.6k2.3k

• official-stockfish/Stockfish

  A free and strong UCI chess engine

  Language:C++12.2k2529672.4k

• ocaml-multicore/ocaml-multicore

  Multicore OCaml

  Language:OCaml7625731968

• zcash/halo2

  The Halo2 zero-knowledge proving system

  Language:Rust75534335508

• estevanmaito/windmill-react-ui

  🧩 The component library for fast and accessible development of gorgeous interfaces.

  Language:TypeScript7541249148

• franciscoBSalgueiro/en-croissant

  The Ultimate Chess Toolkit

  Language:TypeScript7419360107

• Kamona-WD/kwd-dashboard

  Fully responsive dashboard template built with tailwindcss & alpinejs

  Language:HTML6632614191

• mratsim/constantine

  Constantine: modular, high-performance, zero-dependency cryptography stack for verifiable computation, proof systems and blockchain protocols.

  Language:Nim4301919747

• tailwindtoolbox/Admin-Template

  Tailwind CSS Starter Template - Admin Dashboard Template

  Language:HTML3433499

• jordanbray/chess

  A rust library to manage chess move generation

  Language:Rust25375858

• niklasf/shakmaty

  A Rust library for chess and chess variant rules and operations

  Language:Rust22394343

• JorgeDuenasLerin/diccionario-espanol-txt

  Diccionario con las palabras del Español en formato txt

  Language:Python208101252

• tromp/ChessPositionRanking

  Software suite for ranking chess positions and accurately estimating the number of legal chess positions

  Language:Haskell15779247

• Assios/chessguessr

  Guess the continuation of a chess game

  Language:TypeScript843209

• niklasf/web-boardimage

  An HTTP service that renders chess board images

  Language:Python748519

• miguel-ambrona/D3-Chess

  Chess Unwinnability Analyzer is an implementation of a decision procedure for checking whether there exists a sequence of legal moves that allows a certain player to checkmate their opponent in a given chess position.

  Language:C++524258

• MichaelB7/pgn-extract

  Chess utility to extract data/games from a pgn file by David J. Barnes

  Language:C32636

• LeakIX/mastosearch

  Toolset to index the Mastodon federated network.

  Language:Go14211

• chesspecker/backend

  chesspecker is an open-source app to practice chess!

  Language:JavaScript131130

• miguel-ambrona/sherlock

  A chess library written in Rust, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis.

  Language:Rust61140

• ZooCrypt/AutoGnP

  Automated proofs for groups and pairings

  Language:OCaml51

• brunal/ocaml-cpp-bindings

  Sample C++ to OCaml bindings

  Language:C++4300

• dannywillems/ocaml-ec

  Play with elliptic curves in OCaml

  Language:OCaml4200

• hwatheod/retractor

  Retractor is software for working with retrograde analysis chess problems (retro problems). Currently hosted at http://xenon.stanford.edu/~hwatheod/retractor2/retractor.html

  Language:JavaScript43140

• miguel-ambrona/deadpos

  A tool for analyzing chess compositions based on dead reckoning

  Language:Python32270

• miguel-ambrona/sherlock-ocaml

  A chess library written in OCaml, oriented to creating and solving chess compositions with especial emphasis on retrograde analysis

  Language:OCaml2200

• patrik-ha/manim-chess

  Creating customizable chess-boards in Manim from FENs

  Language:Python2220