Fixidity: A fixed point mathematics library for Solidity - gadiguy/Fixidity
Introduction
The Temper programming language for solving problems once via ubiquitous libraries.
affaan-m/everything-claude-code
Complete Claude Code configuration collection - agents, skills, hooks, commands, rules, MCPs. Battle-tested configs from an Anthropic hackathon winner.
OpenSPH
A new graphical application that uses the OpenSPH solver, but with a user interface that is more interactive, intuitive, and easy to use. This version is still under development.
GitHub - github/awesome-copilot: Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot.
Community-contributed instructions, prompts, and configurations to help you make the most of GitHub Copilot. - github/awesome-copilot
GitHub Copilot · Plans & pricing
GitHub Copilot works alongside you directly in your editor, suggesting whole lines or entire functions for you.
Fidget
Fidget is a library for representing, compiling, and evaluating large-scale math expressions, i.e. hundreds or thousands of arithmetic clauses. It's mainly designed as a backend for implicit surfaces, but the library is flexible enough for many different uses!
How I stopped worrying and learned to love the easy fix
On the balance between perfect solutions and pragmatic fixes in software engineering
GitHub - janaagaard75/calculus-exercises: Sheets with calculus exercises suitable for kids that are learning the first basic arithmetic operations.
Sheets with calculus exercises suitable for kids that are learning the first basic arithmetic operations. - janaagaard75/calculus-exercises
refined-github/refined-github
:octocat: Browser extension that simplifies the GitHub interface and adds useful features
GitHub Copilot · Your AI pair programmer
GitHub Copilot works alongside you directly in your editor, suggesting whole lines or entire functions for you.
GitHub issues for notes
GitHub issues is almost the best notebook in the world. Free and unlimited, for both public and private notes. Comprehensive Markdown support, including syntax highlighting for almost any language. Plus …
037 HEIR: A foundation for FHE compilers
Karpathy's LLM Wiki: The Complete Guide to His Idea File
Karpathy's follow-up gist went viral. Complete breakdown with implementation examples.
GATlab: Modeling and Programming with Generalized Algebraic Theories
Categories and categorical structures are increasingly recognized as useful abstractions for modeling in science and engineering. To uniformly implement category-theoretic mathematical models in software, we introduce GATlab, a domain-specific language for algebraic specification embedded in a technical programming language. GATlab is based on generalized algebraic theories (GATs), a logical system extending algebraic theories with dependent types so as to encompass category theory. Using GATlab, the programmer can specify generalized algebraic theories and their models, including both free models, based on symbolic expressions, and computational models, defined by arbitrary code in the host language. Moreover, the programmer can define maps between theories and use them to declaratively migrate models of one theory to models of another. In short, GATlab aims to provide a unified environment for both computer algebra and software interface design with generalized algebraic theories. In this paper, we describe the design, implementation, and applications of GATlab.
QuickRef.ME - Quick Reference Cheat Sheet
Share quick reference and cheat sheet for developers
