Skip to content
View ComFreek's full-sized avatar
💭
I may be slow to respond.
💭
I may be slow to respond.

Organizations

@KWARC @UniFormal @UFrameIT

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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 Loading

  1. UniFormal/MMT UniFormal/MMT Public

    The MMT Language and System

    Scala 68 23

  2. basic-ontology-language basic-ontology-language Public

    An experimental ontology language formalized in Coq with many semantics

    Coq 2

  3. lambda-coq lambda-coq Public

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

    Coq 1

  4. async-playground async-playground Public

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

    TypeScript 8 2

  5. polynomial-interpolation-web-gui polynomial-interpolation-web-gui Public

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

    JavaScript 6 4

  6. jpaulm/jsfbp jpaulm/jsfbp Public archive

    FBP implementation written using JavaScript and node-fibers

    JavaScript 119 23