crisperdue
Follow
Lists (5)
Stars
Draft for ECMAScript Error Safe Assignment Operator
A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.
a simple terminal user interface for signal messenger (using signal-cli)
Text Generator is a versatile plugin for Obsidian that allows you to generate text content using various AI providers, including OpenAI, Anthropic, Google and local models.
Enabling power of typescript and pre-processing for XRay-16 engine.
📚 Openstax Textbooks ported to GitHub and hosted on GH Pages
A tool to help migrate JavaScript code quickly and conveniently to TypeScript
mreq / BetterFindBuffer
Forked from aziz/BetterFindBufferAdds a couple of missing features to SublimeText 3 Find Results buffer
☕ Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.
Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica
An open-source Mathematica. This repository contains the Python modules for WL Built-in functions, variables, core primitives, e.g. Symbol, a parser to create Expressions, and an evaluator to execu…
An experimental computer algebra system written in Go
Advanced TypeScript runtime reflection system
A community-maintained Python framework for creating mathematical animations.
An extremely lightweight and powerful vanilla JavaScript completion suggester.
An introduction to theorem proving in Lean for the impatient.
Peak : Processor Specification Language ala Newell and Bell's ISP
Functional utility library - modern, simple, typed, powerful
Emacs package for highlighting uncommitted changes
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.
Extracting human readable pre-training data from set.mm