-
topological_ontology Public
A formal system of philosophy based on topological spaces
Lean UpdatedJul 11, 2022 -
-
presto Public
Forked from trinodb/trinoHome of the community managed version of Presto, the distributed SQL query engine for big data, under the auspices of the Presto Software Foundation.
Java Apache License 2.0 UpdatedDec 8, 2020 -
julia Public
Forked from JuliaLang/juliaThe Julia Programming Language
Julia Other UpdatedDec 4, 2020 -
-
MLStyle.jl Public
Forked from thautwarm/MLStyle.jlJulia functional programming infrastructures and metaprogramming facilities
Julia MIT License UpdatedJun 29, 2020 -
-
FirstOrderLogic.jl Public
Forked from roberthoenig/FirstOrderLogic.jlJulia package for parsing, manipulating and evaluating formulas in first-order logic.
Julia Other UpdatedFeb 4, 2020 -
markdown-cv Public
Forked from elipapa/markdown-cva simple template to write your CV in a readable markdown file and use CSS to publish/print it.
CSS MIT License UpdatedOct 21, 2019 -
compiladores Public
A compiler building project for the simple language Monga.
C UpdatedSep 15, 2019 -
-
-
-
-
-
-
-
-
{{ message }}