-
kickstart.nvim Public
Forked from nvim-lua/kickstart.nvimA launch point for your personal nvim configuration
Lua MIT License UpdatedSep 17, 2025 -
-
NativeVim Public
Forked from boltlessengineer/NativeVimNeovim config WITHOUT plugins
Lua MIT License UpdatedApr 10, 2025 -
CT4P Public
Forked from benediktahrens/CT4PTeX Creative Commons Attribution Share Alike 4.0 International UpdatedNov 7, 2024 -
darknet Public
Forked from pjreddie/darknetConvolutional Neural Networks
C Other UpdatedOct 19, 2024 -
idris2-lsp-vscode Public
Forked from pacillus/idris2-lsp-vscodeVisual Studio Code integration for the Idris 2 language server
JavaScript MIT License UpdatedOct 3, 2024 -
Category_Theory_Machine_Learning Public
Forked from bgavran/Category_Theory_Machine_LearningList of papers studying machine learning through the lens of category theory
Python UpdatedSep 5, 2024 -
idris2-async Public
Forked from stefan-hoeck/idris2-asyncAsynchronous and concurrent computations in Idris2
Idris BSD 3-Clause "New" or "Revised" License UpdatedAug 19, 2024 -
microkit_tutorial Public
Forked from au-ts/microkit_tutorialA tutorial for learning the seL4 Microkit
C UpdatedAug 12, 2024 -
flutter_nfc_kit Public
Forked from nfcim/flutter_nfc_kitFlutter plugin to provide NFC functionality on Android and iOS, including reading metadata, read & write NDEF records, and transceive layer 3 & 4 data with NFC tags / cards
Dart MIT License UpdatedJul 22, 2024 -
compiler Public
Forked from elm/compilerCompiler for Elm, a functional language for reliable webapps.
Haskell BSD 3-Clause "New" or "Revised" License UpdatedJul 17, 2024 -
-
fpdart Public
Forked from SandroMaglione/fpdartFunctional programming in Dart and Flutter. All the main functional programming types and patterns fully documented, tested, and with examples.
Dart MIT License UpdatedMay 7, 2024 -
-
servant-template Public
Forked from tweag/servant-templateA modern template for a Servant
Haskell MIT License UpdatedApr 22, 2024 -
flutter_paystack_payment Public
Forked from DEVSOG12/flutter_paystack_paymentDart MIT License UpdatedApr 9, 2024 -
sicmutils Public
Forked from sicmutils/sicmutilsComputer Algebra, Physics and Differential Geometry in Clojure.
Clojure GNU General Public License v3.0 UpdatedMar 22, 2024 -
splint Public
Forked from splintchecker/splintSplint - annotation-assisted static program checker
C Other UpdatedMar 13, 2024 -
concat Public
Forked from compiling-to-categories/concatCompiling to Categories
Haskell BSD 3-Clause "New" or "Revised" License UpdatedFeb 28, 2024 -
-
Category_Theory_Resources Public
Forked from bgavran/Category_Theory_ResourcesList of resources for learning Category Theory
UpdatedSep 30, 2023 -
intl_phone_number_input Public
Forked from natintosh/intl_phone_number_inputDart MIT License UpdatedAug 23, 2023 -
-
linear-circuits Public
Forked from border-patrol/linear-circuitsLinear Circuits but not as we know it: Using Linear Types to enforce wiring decisions.
Idris BSD 3-Clause Clear License UpdatedMay 30, 2023 -
picoGPT Public
Forked from jaymody/picoGPTAn unnecessarily tiny implementation of GPT-2 in NumPy.
Python MIT License UpdatedApr 24, 2023 -
-
source_gen Public
Forked from dart-lang/source_genAutomatic source code generation for Dart
Dart BSD 3-Clause "New" or "Revised" License UpdatedMar 1, 2023 -
neural-networks-and-deep-learning Public
Forked from mnielsen/neural-networks-and-deep-learningCode samples for my book "Neural Networks and Deep Learning"
Python UpdatedFeb 26, 2023 -
mysql_utils Public
Forked from biner88/mysql_utilsFlutter mysql_client plugin helper, Use mysql_client easily.
Dart BSD 3-Clause "New" or "Revised" License UpdatedJan 30, 2023 -
simplenn Public
Forked from facundoq/edunnLearn how modern, modular Neural Networks work by implementing a PyTorch/Keras-like framework.
Jupyter Notebook Other UpdatedJan 22, 2023
{{ message }}