PaulTopping
Founder and former CEO of Design Science, Inc., maker of MathType, MathFlow, and MathPlayer. AGI researcher in my spare time.
Long Beach, CA
PaulTopping's Stars
libfn/functional
Extending C++ library for functional programming
Dijji/FileMeta
Enable Explorer in Vista, Windows 7 and later to see, edit and search on tags and other metadata for any file type
adrianphoulady/weighted-tsetlin-machine-cpp
Weighted Tsetlin Machine in C++
wolfpld/tracy
Frame profiler
croningp/assemblyphysics
mdabagia/learning-with-assemblies
Code supporting the paper "Weakly Supervised Learning with Assemblies of Neurons", by Dabagia, Papadimitriou, and Vempala [2021].
google-deepmind/open_x_embodiment
FortAwesome/Font-Awesome
The iconic SVG, font, and CSS toolkit
koka-lang/koka
Koka language compiler and interpreter
lewissbaker/cppcoro
A library of C++ coroutine abstractions for the coroutines TS
emil-e/rapidcheck
QuickCheck clone for C++ with the goal of being simple to use with as little boilerplate as possible.
guteksan/REST-CPP-benchmark
yhirose/cpp-httplib
A C++ header-only HTTP/HTTPS server and client library
hsutter/cppfront
A personal experimental C++ Syntax 2 -> Syntax 1 compiler
Stiffstream/sobjectizer
An implementation of Actor, Publish-Subscribe, and CSP models in one rather small C++ framework. With performance, quality, and stability proved by years in the production.
brevzin/rivers
A C++ internal iteration library based loosely on Java Streams
tcbrindle/flux
A C++20 library for sequence-orientated programming
microsoft/TypeChat
TypeChat is a library that makes it easy to build natural language interfaces using types.
adamritter/fastgron
High-performance JSON to GRON (greppable, flattened JSON) converter
tomnomnom/gron
Make JSON greppable!
allenai/comet-atomic-2020
catchorg/Catch2
A modern, C++-native, test framework for unit-tests, TDD and BDD - using C++14, C++17 and later (C++11 support is in v2.x branch, and C++03 on the Catch1.x branch)
initialcommit-com/git-sim
Visually simulate Git operations in your own repos with a single terminal command.
booch-self/self-concepts
Self's foundational abstractions
giuven95/chatgpt-failures
Failure archive for ChatGPT and similar models
eyalz800/zpp_bits
A lightweight C++20 serialization and RPC library
GrammarViz2/grammarviz2_src
GrammarViz 2.0 public release:
jMotif/GI
Sequitur and RePair grammar induction algorithms implementation
craignm/sequitur
Automatically exported from code.google.com/p/sequitur
andreasbuhr/cppcoro
A library of C++ coroutine abstractions for the coroutines TS