analytic-bias

analytic-bias's Stars

• xoreaxeaxeax/movfuscator

  The single instruction C compiler

  Language:C9.6k20740399

• mandiant/flare-vm

  A collection of software installations scripts for Windows systems that allows you to easily setup and maintain a reverse engineering environment on a VM.

  Language:PowerShell6.8k202515936

• Col-E/Recaf

  The modern Java bytecode editor

  Language:Java6.2k168628472

• visioncortex/vtracer

  Raster to Vector Graphics Converter

  Language:Rust3.7k510252

• GSConnect/gnome-shell-extension-gsconnect

  KDE Connect implementation for GNOME

  Language:JavaScript3.3k571.3k259

• CatalaLang/catala

  Programming language for literate programming law specification

  Language:OCaml2k2430778

• TransformerLensOrg/TransformerLens

  A library for mechanistic interpretability of GPT-style language models

  Language:Python1.7k16267316

• mikeizbicki/HLearn

  Homomorphic machine learning

  Language:Haskell1.6k14160134

• bgavran/Category_Theory_Machine_Learning

  List of papers studying machine learning through the lens of category theory

  Language:Python1.3k71078

• OpenLogicProject/OpenLogic

  An open-source, customizable intermediate logic textbook

  Language:TeX1.1k98170248

• lean-dojo/LeanCopilot

  LLMs as Copilots for Theorem Proving in Lean

  Language:C++1k155094

• github/codespaces-jupyter

  Explore machine learning and data science with Codespaces

  Language:Jupyter Notebook62486451.2k

• asoplata/open-computational-neuroscience-resources

  A publicly-editable collection of open computational neuroscience resources

  57429888

• felixfbecker/dom-to-svg

  Library to convert a given HTML DOM node into an accessible SVG "screenshot".

  Language:TypeScript39185446

• opencog/link-grammar

  The CMU Link Grammar natural language parser

  Language:C39042367119

• szhorvat/MaTeX

  LaTeX labels in Mathematica

  Language:Mathematica380284146

• Paper-Proof/paperproof

  Lean theorem proving interface which feels like pen-and-paper proofs.

  Language:TypeScript37783410

• aepsilon/turing-machine-viz

  Visualize Turing machines and deterministic finite automata. 🔵🔁🔴↩️

  Language:JavaScript2495741

• leanprover-community/lean4game

  Server to host lean games.

  Language:TypeScript2201223340

• leanprover-community/NNG4

  Natural Number Game

  Language:Lean127114938

• flypitch/flypitch

  A formal proof of the independence of the continuum hypothesis

  Language:Lean121133015

• wellecks/llmstep

  llmstep: [L]LM proofstep suggestions in Lean 4.

  Language:Python1205515

• alhassy/gentle-intro-to-reflection

  A slow-paced introduction to reflection in Agda. ---Tactics!

  Language:Agda96609

• wenkokke/NLQ

  A framework for natural language syntax and semantics based on type theory.

  Language:Haskell13301

• RichardMoot/Grail

  Grail is a theorem prover for multimodal type-logical grammars

  Language:Prolog8402

• choener/FormalGrammars

  Context-free and linear grammars in Haskell (parsing, pretty-printing, embedded DSL)

  Language:Haskell5413

• kubaPod/MGUI

  GUI package for Mathematica

  Language:M2201

• mannd/QTc

  Framework for macOS and iOS for doing QTc calculations

  Language:Swift240

• GuillaumeDehaene/mathjax_equation_annotation

  Extend MathJax: add a tooltip with annotations to equations

  Language:JavaScript1100

• SBUtltmedia/tarski

  Jim Palmeri's great VR game

  Language:JavaScript1501