- Singapore
-
11:20
(UTC +08:00)
Highlights
- Pro
Block or Report
Block or report kharus
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
essential-typescript-5 Public
Forked from ManningBooks/essential-typescript-5TypeScript UpdatedJun 13, 2024 -
coursera-dl Public
Forked from coursera-dl/coursera-dlScript for downloading Coursera.org videos and naming them.
Python GNU Lesser General Public License v3.0 UpdatedJun 5, 2024 -
terraform-up-and-running-code Public
Forked from brikis98/terraform-up-and-running-codeCode samples for the book "Terraform: Up & Running" by Yevgeniy Brikman
HCL MIT License UpdatedFeb 1, 2024 -
-
-
VuejsInActionCode Public
Forked from ErikCH/VuejsInActionCodeThis is the Code For the Vue.js In Action Book!
JavaScript UpdatedNov 8, 2023 -
sumo Public
Forked from ontologyportal/sumoSuggested Upper Merged Ontology (SUMO)
HTML UpdatedOct 16, 2023 -
-
-
sigmakee Public
Forked from ontologyportal/sigmakeeSigma Knowledge Engineering Environment
-
-
vampire Public
Forked from vprover/vampireThe Vampire Theorem Prover
C++ Other UpdatedAug 18, 2023 -
-
packages-pengines Public
Forked from SWI-Prolog/packages-penginesPengines: Prolog engines
Prolog UpdatedAug 14, 2023 -
swish Public
Forked from SWI-Prolog/swishSWI-Prolog for SHaring: a SWI-Prolog web IDE
Prolog Other UpdatedAug 10, 2023 -
SigmaRest Public
Forked from ontologyportal/SigmaRestA RESTful interface shell project for Sigma and SigmaNLP
Java UpdatedAug 4, 2023 -
-
-
webpage Public
Forked from fortran-lang/webpageNew Fortran webpage
Python MIT License UpdatedJul 6, 2023 -
TPTP-ANTLR Public
Forked from ontologyportal/TPTP-ANTLRANTLR grammar and Java code for TPTP language family
Java BSD 3-Clause "New" or "Revised" License UpdatedJun 27, 2023 -
SigmaUtils Public
Forked from ontologyportal/SigmaUtilsSigma utilities refactored from sigmakee
Java UpdatedJun 27, 2023 -
-
-
-
byrne-euclid Public
Forked from jemmybutton/byrne-euclidMetaPost + ConTeXt rendition of Oliver Byrne's "The first six books of the Elements of Euclid"
TeX GNU General Public License v3.0 UpdatedJan 5, 2023 -
fortls Public
Forked from fortran-lang/fortlsfortls - Fortran Language Server
Python MIT License UpdatedOct 28, 2022 -
-
-
hid-examples Public
Forked from bravit/hid-examplesExamples to accompany the book "Haskell in Depth"
Haskell BSD 3-Clause "New" or "Revised" License UpdatedAug 25, 2022 -
aeson Public
Forked from haskell/aesonA fast Haskell JSON library
Haskell Other UpdatedAug 11, 2022