bmorphism
Follow
-
-
awesome-o1 Public
Forked from srush/awesome-o1A bibliography and survey of the papers surrounding o1
TeX UpdatedOct 28, 2024 -
-
markdown-oxide Public
Forked from Feel-ix-343/markdown-oxidePKM for the LSP
Rust GNU General Public License v3.0 UpdatedOct 16, 2024 -
-
dvckrvbbit Public
Forked from ryrobes/rvbbitReactive Data Board & Visual Flow Platform
Clojure UpdatedSep 16, 2024 -
-
antimemex Public
Forked from WorldBrain/MemexUmberto Eco and forgetting
-
-
-
-
SwiftDuck Public
Forked from livekit-examples/swift-example_ 🦆
Swift Apache License 2.0 UpdatedJul 28, 2024 -
-
-
fusion Public
Forked from khaledh/fusionA hobby OS implemented in Nim
Nim MIT License UpdatedJul 15, 2024 -
_ekg Public
Forked from ahyatt/ekgThe emacs knowledge graph, app for notes and structured data.
Emacs Lisp GNU General Public License v3.0 UpdatedJul 7, 2024 -
awesome-information-geometry Public
Forked from nocotan/awesome-information-geometryAbout A collection of AWESOME things about information geometry Topics
MIT License UpdatedJun 29, 2024 -
llvm-ir-dataset-utils Public
Forked from llvm-ml/llvm-ir-dataset-utilsUtilities for constructing a large dataset of LLVM IR
Python Apache License 2.0 UpdatedJun 17, 2024 -
GraphAny Public
Forked from DeepGraphLearning/GraphAnyGraphAny: A foundation model for node classification on any graph.
Python UpdatedJun 3, 2024 -
zed-julia Public
Forked from JuliaEditorSupport/zed-juliaJulia support for Zed.
Scheme MIT License UpdatedJun 3, 2024 -
LeanCopilot Public
Forked from lean-dojo/LeanCopilotLLMs as Copilots for Theorem Proving in Lean
C MIT License UpdatedApr 28, 2024 -
corenet Public
Forked from apple/corenetCoreNet: A library for training deep neural networks
Python Other UpdatedApr 28, 2024 -
act Public
Forked from plurigrid/actbuilding blocks for cognitive category theory
Clojure MIT License UpdatedMar 31, 2024 -
-
malli Public
Forked from metosin/malliHigh-performance data-driven data specification library for Clojure/Script.
Clojure Eclipse Public License 2.0 UpdatedMar 29, 2024 -
jank Public
Forked from jank-lang/jankA Clojure dialect hosted on LLVM with native C interop
C Mozilla Public License 2.0 UpdatedMar 23, 2024 -
-
RecordedTalks Public
Forked from WomeninLogic/RecordedTalksa place to keep info about Women in Logic https://www.womeninlogic.org/
HTML UpdatedMar 10, 2024 -
neural-k-forms Public
Forked from aidos-lab/neural-k-formsSimplicial Representation Learning with Neural k-Forms
Jupyter Notebook UpdatedMar 8, 2024 -