Highlights
- Pro
-
semantic-mediawiki Public
A repository to continuously release Semantic MediaWiki (SMW) Docker images that track the latest SMW stable updates.
vierordt Public
Experimental software investigating Vierordt's Law in human beings
Python UpdatedJun 25, 2024 GPU-Puzzles Public
Forked from srush/GPU-PuzzlesSolve puzzles. Learn CUDA.
Jupyter Notebook MIT License UpdatedJun 16, 2024 neural_speech_decoding Public
Forked from flinkerlab/neural_speech_decodingJupyter Notebook GNU General Public License v3.0 UpdatedApr 8, 2024 audiocraft Public
Forked from facebookresearch/audiocraftAudiocraft is a library for audio processing and generation with deep learning. It features the state-of-the-art EnCodec audio compressor / tokenizer, along with MusicGen, a simple and controllable…
Python MIT License UpdatedJun 14, 2023 llama.cpp Public
Forked from ggml-org/llama.cppPort of Facebook's LLaMA model in C/C++
C MIT License UpdatedApr 1, 2023 personal-golinks Public
Personal shortlinks completely managed in a browser extension.
scipy Public
Forked from scipy/scipySciPy library main repository
Python BSD 3-Clause "New" or "Revised" License UpdatedJan 30, 2023 preferences Public
Preferences (keybindings, etc.) for various tools I use that my body will overfit to
Vim Script UpdatedDec 10, 2022 mitra Public
Forked from corkami/mitraA generator of weird files (binary polyglots, near polyglots...)
Python MIT License UpdatedDec 21, 2021 phase Public
lil website to phase arbitrary melody sequences a la Steve Reich's Piano Phase or Clapping Phase
JavaScript UpdatedDec 19, 2021 ethical-consumption Public
Service for linking online consumption with ethical corporate behavior. Consumers should give bad actors less revenue, and should give good actors more revenue.
jinja-sql-demo Public
A proof of concept for how to set up a codebase for an analytics org.
pimbook-leanprover Public
Working through the Programmer's Introduction to Mathematics by solving exercises with the Lean Prover.
UpdatedMay 14, 2021 sampling-paradox Public
Javascript simulations to demonstrate Xiao-Li Meng's proofs in Statistical Paradises & Paradoxes
JavaScript UpdatedJul 28, 2020 artificial-intelligence Public
Forked from udacity/artificial-intelligencePython MIT License UpdatedMay 31, 2020 ai4earth-serengeti-runtime Public
Forked from drivendataorg/ai4earth-serengeti-runtimeContainer specifications for AI for Earth Serengeti competition on DrivenData
R UpdatedJan 19, 2020 lanista Public
High-level framework for multi-agent reinforcement learning.
Python MIT License UpdatedSep 12, 2017 concept-to-clinic Public
Forked from drivendataorg/concept-to-clinicALCF Concept to Clinic Challenge
JavaScript MIT License UpdatedSep 6, 2017