Skip to content
View aavogt's full-sized avatar

Block or report aavogt

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
Showing results

The hypermedia framework.

TypeScript 4,888 212 Updated Aug 5, 2026

The primary source code repository for PHCpack, a software package to solve polynomial systems with homotopy continuation methods.

Ada 78 24 Updated Jun 28, 2026

Calibrated flatbed scans to editable, validated FreeCAD sketches.

Python 50 5 Updated Aug 4, 2026
TypeScript 115 10 Updated Aug 10, 2026

Transcribe audio files using the "Whisper" Automatic Speech Recognition model from R

C++ 138 13 Updated Jan 7, 2026

A reactive notebook for Haskell

HTML 113 12 Updated Aug 8, 2026
Haskell 3 Updated Nov 23, 2024

A FreeCAD module that uses Generative Design to design optimally for Additive Manufacturing

Python 50 19 Updated May 11, 2026

Ant simulation in Haskell.

Haskell 6 Updated Mar 11, 2026

Intel® Implicit SPMD Program Compiler

C++ 2,936 349 Updated Jul 22, 2026

Compact encoding of rust types

Rust 3 1 Updated Aug 10, 2026

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Python 148,337 21,592 Updated Aug 10, 2026

A 16-bit CPU and self-hosting Forth system for the Lattice ICE40 FPGA, written in Haskell.

Haskell 62 8 Updated May 26, 2021

PRIMA is a package for solving general nonlinear optimization problems without using derivatives. It provides the reference implementation for Powell's derivative-free optimization methods, i.e., C…

Fortran 408 55 Updated Aug 7, 2026

An MCP server for interfacing with the Maxima Computer Algebra System (CAS) using the D language.

D 1 Updated May 20, 2025

Polyglot compiler stitching together GHC, Mercury, rustc, Koka, and MLIR

Haskell 4 Updated Jun 26, 2026

Contains HSK 3.0 (HSK 1 to HSK 9) Hanzi, Handwritten, Words and Grammar list, also contains list for Anki decks, with frequency, pinyin, zhuyin and meaning, also BCT and YCT words.

Jupyter Notebook 331 74 Updated Jun 14, 2026

Grammatical parsers - combinator library for parsing general context-free grammars

Haskell 46 13 Updated Jun 13, 2026
Haskell 43 7 Updated Jan 11, 2026

Music pattern language + live coding environment

Haskell 6 2 Updated Sep 10, 2025

Haskell parser for Lilypond, using Parsec

Haskell 6 1 Updated Jun 9, 2017

💥💻💥 A data-parallel functional programming language

Haskell 2,786 207 Updated Aug 9, 2026

FreeCAD thumbnailer plugin for KDE Plasma / Dolphin

C++ 4 1 Updated Nov 22, 2015

Monomorphize polymorphic functions for testing

Haskell 37 Updated Jan 17, 2017

GHC plugin that improves Haskell code's numerical stability

Haskell 194 4 Updated Oct 6, 2015

Ollama client for Haskell

Haskell 54 5 Updated Aug 4, 2026

Relational programming in Haskell. Mostly developed on twitch.

Haskell 275 29 Updated Jan 20, 2026

Nuitka is a Python compiler written in Python. It's fully compatible with Python 2.6, 2.7, 3.4-3.14. You feed it your Python app, it does a lot of clever things, and spits out an executable or exte…

Python 15,072 790 Updated Aug 9, 2026

The free-forever GUI library

Python 864 103 Updated Jul 25, 2026
Haskell 4 1 Updated Jan 19, 2024
Next