Autonomous research from idea to paper. Chat an Idea. Get a Paper 🦞
Hypertext-infused philosophy personal database software
Euler Yet another proof Engine
A plugin that integrates Lucene IK analyzer into elasticsearch
Resume template website for the LearnCS8 Lab 3
Haskell LLVM JIT Compiler Tutorial
Your graphical tool for Syntactic/Semantic Structure Analysis of texts
Open-source digital repository software
S-Match is a semantic matching framework.
Didactic tool to support First Order Logic semantics learning
Building a federated science web one link at a time
wordseg project is a word segment module implemented by C#