F
frege

Any
Blade
C
C#
C++
CMake
CSS
Dockerfile
Go
HCL
HTML
Java
JavaScript
Jupyter Notebook
Kotlin
Makefile
Objective-C
PHP
Python
Ruby
SCSS
Shell
Swift
TSX
TypeScript
Vue

Projects with this topic

Sort by:

Sort by
Updated date
Name
Name, descending
Oldest updated
Oldest created
Last created
Most stars
Hide archived projects
Show archived projects
Show archived projects only

View Duke Ucum Core project

The Australian e-Health Research Centre / Duke UCUM / Duke Ucum Core

Frege-based UCUM parser, model, validation, and conversion with Java API

UCUM frege Haskell Java parser-combi... units-of-mea... fhir

0

Updated Jun 26, 2026

0 0 0 0

Updated Jun 26, 2026
View fregeIT project

Renato Reis Leme / fregeIT

A tool for translate well-formed-formulas of propositional calculus into Begriffsschrift notation.

logic frege propositiona... translation

0

Updated Oct 15, 2019

0 0 0 0

Updated Oct 15, 2019