ComFreek/basic-ontology-language ComFreek/basic-ontology-language

  • Stars
    star
    2
  • Language Coq
  • License
    MIT License
  • Created over 4 years ago
  • Updated almost 4 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
ComFreek/basic-ontology-language
github

ComFreek

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An experimental ontology language formalized in Coq with many semantics

More Repositories

1

async-playground

Semaphores, critical sections and blocking queues explored in modern JS with Promises and async generators
TypeScript
8
star
2

TSCompiler

The aim of this project is to provide interfaces to the TypeScript compiler in multiple languages.
JavaScript
7
star
3

polynomial-interpolation-web-gui

Polynomial Interpolation Web GUI with GeoGebra, plots and outputs the math formula
JavaScript
6
star
4

ts-htaccess

Sample use of .htaccess in order to compile TypeScript files on-the-fly.
PHP
3
star
5

uni-concurrent-systems-summary

Summary for the lecture *Concurrent Systems* (winter term 20/21, FAU Erlangen-Nรผrnberg) on concurrency, esp. in systems programming
HTML
2
star
6

mps-two-generatos-bug-repro

1
star
7

TypeBakery

Collection of some great classes for TypeScript.
1
star
8

GenericEventListeners

GenericEventListeners for Java.
Java
1
star
9

ThreadLibrary.js

Library for creating simple threads (web workers) directly out of JavaScript functions without external files.
TypeScript
1
star
10

ColorSplitter

Web app to show each and every color an image uses (feature-complete!)
TypeScript
1
star
11

2019-08-18-submodule-test-parent-repo

Shell
1
star
12

reproducible-gf-runtime

This is an attempt to fully automate compilation of GF's C runtime and Java bindings. PRs and new maintainers appreciated.
C
1
star
13

TypeBox

TypeBox - editor for TypeScript.
JavaScript
1
star
14

IcoHolder

This tool lets you embed multiple *.ico files in one DLL file.
PowerShell
1
star
15

mmt-latex-helpers

LaTeX utility macros for typesetting papers and theses involving the MMT Language
TeX
1
star
16

uni-sem11-elementary-number-theory

HTML
1
star
17

mmtpygments

Pygments Lexer for MMT Surface Syntax from the MMT project
Python
1
star
18

chrome-surface-theme

Google Chrome theme featuring the upcoming Microsoft Surface!
1
star
19

lambda-coq

A from-scratch formalization of untyped lambda calculus with de Bruijn indices
Coq
1
star
20

TimeCopier

Notification icon for Windows' system tray which copies the current datetime to the clipboard when clicked.
PowerShell
1
star