sidprasad's Stars
zola-academic/zola-academic
An academic theme inspired by Hugo-Academic
slightlyoff/cassowary.js
Cassowary/JS, better, faster, future-ready
lume/kiwi
Fast TypeScript implementation of the Cassowary constraint solving algorithm (soon for AssemblyScript / WebAssembly).
dc-js/dc.graph.js
interactive network visualization
IBM/nl2ltl
Natural Language (NL) to Linear Temporal Logic (LTL)
whitemech/LTLf2DFA
From LTLf / PPLTL to Deterministic Finite-state Automata (DFA)
summarizepaper/summarizepaper
An AI-powered arXiv paper summarization website with a virtual assistant for answering questions.
ms705/websubmit-rs
Class submission system
leanprover-community/mathlib3
Lean 3's obsolete mathematical components library: please use mathlib4
csci1710/forge-language-extension-vscode
Forge language server extension for vscode
davidtvs/Keras-LinkNet
Keras implementation of LinkNet