ipapusha

ipapusha's Stars

• cassidoo/blahg

  Cassidy's blog template built with Astro and TinaCMS!

  Language:Astro39345

• TabbyML/tabby

  Self-hosted AI coding assistant

  Language:Rust30.6k1.4k

• GaloisInc/lean4-balance-car

  Lean4 port of Arduino balance car controller

  Language:C++449

• kjhealy/pandoc-templates

  Some templates for Pandoc.

  Language:TeX729184

• true3dco/splashgen

  Rapidly build landing pages in <20 lines of python

  Language:Python25615

• observablehq/runtime

  The reactive dataflow runtime that powers Observable Framework and Observable notebooks

  Language:JavaScript1k74

• JeffBezanson/femtolisp

  a lightweight, robust, scheme-like lisp implementation

  Language:Scheme1.6k119

• LeCoupa/awesome-cheatsheets

  👩‍💻👨‍💻 Awesome cheatsheets for popular programming languages, frameworks and development tools. They include everything you should know in one single file.

  Language:JavaScript42k6.4k

• howardwtaylor/secret_santa

  secret santa picker

  Language:Python1

• ananswam/cribbage-grid

  5x5 Grid Based Cribbage Game

  Language:JavaScript2

• mjsottile/publicstuff

  Code related to things I post about online

  Language:Haskell214

• arminbiere/lingeling

  Lingeling SAT Solver

  Language:C9929

• blanchette/logical_verification_2020

  Companion files for Logical Verification 2020–2021 at VU Amsterdam

  Language:Lean9613

• evdubs/renegade-way

  Option Trading Application

  Language:Racket12925

• nspring/style-check

  Style checker for latex documents

  Language:Ruby5013

• munificent/craftinginterpreters

  Repository for the book "Crafting Interpreters"

  Language:HTML9.6k1.1k

• cvxgrp/qcml

  A Python parser for generating Python/C/Matlab solver interfaces

  Language:Python439

• pysathq/pysat

  A toolkit for SAT-based prototyping in Python

  Language:Python41473

• nasa/MISR-Toolkit

  an API facilitating the access of MISR standard product files

  Language:C2115

• geopython/geopython-workshop

  The Doing Geospatial in Python Workshop (mainly provided at FOSS4G events)

  Language:HTML5722

• mint-lab/3dv_tutorial

  An Invitation to 3D Vision: A Tutorial for Everyone

  Language:CMake1.6k307

• graninas/software-design-in-haskell

  Software Design in Haskell. A structured set of materials. How to build real-world applications in Haskell.

  Language:Haskell1.1k69

• dselsam/certigrad

  Bug-free machine learning on stochastic computation graphs

  Language:Lean39035

• ChrisPenner/wc

  Beating unix `wc` in Haskell

  Language:Haskell13610

• tgvaughan/sicm

  Unofficial HTML version of Sussman and Wisdom's "Structure and Interpretation of Classical Mechanics"

  Language:HTML9829

• SRI-CSL/libpoly

  LibPoly is a C library for manipulating polynomials

  Language:C5117

• dreal/dreal4

  Automated Reasoning in Nonlinear Theories of Reals

  Language:SMT16037

• mnhrdt/tvl1flow

  Language:C54

• meco-group/omg-tools

  Optimal Motion Generation-tools: motion planning made easy

  Language:Python57697

• aecker/figure

  Pretty Matlab figures

  Language:Matlab4