Skip to content
Avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Achievements

Achievements

Highlights

  • Pro
  • 1 discussion answered

Organizations

@KWARC @UniFormal @UFrameIT
Block or Report

Block or report ComFreek

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.

Report abuse

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

Report abuse
ComFreek/README.md

About me

I am a Computer Science M. Sc. student (they/them). My research interests are knowledge representation and processing of math, and lately also programming language theory.

I contribute to the MMT project (UniFormal/MMT on GitHub), a larger research software written in Scala which lets you formalize a broad range of formal knowledge: math, logic, type theory, and foundations. MMT and many of its algorithms are foundation-independent: with bare MMT, you don't even have natural numbers, let alone functions. The beauty is versatility; the challenge generality.

For more info and publications, see my academic website and personal website.

More hobby-wise, I am dabbling in the Coq Proof Assistant and, e.g., formalized my own flavor of an ontology language and a lambda calculus with de Bruijn indices.

Programming-wise, I also fancy the latest TypeScript/ECMAScript. And I like writing/autogenerating syntax highlighters that succeed on over 15k lines of code.

Feel free to reach out (by posting an issue here)! I always love hearing and chatting about cool things.

Pinned

  1. The MMT Language and System

    Scala 52 16

  2. An experimental ontology language formalized in Coq with many semantics

    Coq 2

  3. A from-scratch formalization of untyped lambda calculus with de Bruijn indices

    Coq 1

  4. Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generators

    TypeScript 8 2

  5. Polynomial Interpolation Web GUI with GeoGebra, plots and outputs the math formula

    JavaScript 5 3

  6. jpaulm/jsfbp Public archive

    FBP implementation written using JavaScript and node-fibers

    JavaScript 115 19

795 contributions in the last year

Jan Feb Mar Apr May Jun Jul Aug Sep Oct Nov Dec Jan Mon Wed Fri
Activity overview
Contributed to ComFreek/async-playground, KWARC/bibs, ComFreek/mmt-latex-helpers and 5 other repositories

Contribution activity

January 2022

6 contributions in private repositories Jan 18

Seeing something unexpected? Take a look at the GitHub profile guide.