crisperdue

crisperdue's Stars

• ManimCommunity/manim

  A community-maintained Python framework for creating mathematical animations.

  Language:Python25.4k1531.5k1.8k

• FiloSottile/age

  A simple, modern and secure encryption tool (and Go library) with small explicit keys, no config options, and UNIX-style composability.

  Language:Go17.2k149189505

• airbnb/ts-migrate

  A tool to help migrate JavaScript code quickly and conveniently to TypeScript

  Language:TypeScript5.4k43103218

• sodiray/radash

  Functional utility library - modern, simple, typed, powerful

  Language:TypeScript4.3k20138173

• obsidianmd/obsidian-sample-plugin

  Language:TypeScript2.6k4150917

• nhaouari/obsidian-textgenerator-plugin

  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.

  Language:TypeScript1.5k23239130

• ispysoftware/iSpy

  Open source surveillance software

  Language:C#1.4k135242534

• dgutov/diff-hl

  Emacs package for highlighting uncommitted changes

  Language:Emacs Lisp9242115745

• Mathics3/mathics-core

  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 execute them.

  Language:Python7721314744

• isamert/scli

  a simple terminal user interface for signal messenger (using signal-cli)

  Language:Python4491217039

• corywalker/expreduce

  An experimental computer algebra system written in Go

  Language:Mathematica3902113526

• axkr/symja_android_library

  :coffee: Symja - computer algebra language & symbolic math library. A collection of popular algorithms implemented in pure Java.

  Language:Java3811536985

• Hookyns/tst-reflect

  Advanced TypeScript runtime reflection system

  Language:TypeScript34086911

• ImperialCollegeLondon/natural_number_game

  Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information.

  Language:Lean29268773

• jyh1/mmaclone

  A simple Wolfram Language clone in Haskell

  Language:Haskell24412017

• RuleBasedIntegration/Rubi

  Rubi for Mathematica

  Language:Mathematica230145023

• RyanCavanaugh/project-references-demo

  Language:TypeScript1913934

• sympy/sympy.github.com

  SymPy's web page (sympy.org)

  Language:HTML1883849108

• ocsigen/ts2ocaml

  Generate OCaml bindings from TypeScript definitions via the TypeScript compiler API

  Language:F#17315488

• eprover/eprover

  Language:C1329025

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean111114834

• PatrickMassot/GlimpseOfLean

  An introduction to theorem proving in Lean for the impatient.

  Language:Lean1028344

• windsteiger/Theorema

  Theorema: A System for Automated Reasoning (Theorem Proving) and Automated Theory Exploration based on Mathematica

  Language:Mathematica71155214

• philschatz/textbooks

  :books: Openstax Textbooks ported to GitHub and hosted on GH Pages

  46419

• cdonovick/peak

  Peak : Processor Specification Language ala Newell and Bell's ISP

  Language:Python199733

• xray-forge/stalker-xrf-engine

  Enabling power of typescript and pre-processing for XRay-16 engine.

  Language:TypeScript16210

• inexorabletash/jisp

  Minimal Lisp interpreter in JavaScript

  Language:JavaScript5302

• zhangir-azerbayev/mm-extract

  Extracting human readable pre-training data from set.mm

  Language:Python5200

• culefa/JavaScript-autoComplete

  An extremely lightweight and powerful vanilla JavaScript completion suggester.

  Language:HTML200

• mreq/BetterFindBuffer

  Adds a couple of missing features to SublimeText 3 Find Results buffer

  Language:Python2200