ragerdl

Pinned Repositories

acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp1 2 00
acl2-books-deprecated
You want to use the acl2-books under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 Books svn repository.
Language:Common Lisp0 2 00
acl2-defthm-rc1
Language:Common Lisp0 2 00
acl2-defthm-rc2
Language:Common Lisp0 2 00
acl2-deprecated
Merged acl2+books
Language:Common Lisp0 2 00
acl2-devel-deprecated
You want to use the acl2 under user acl2, not this one. *UNOFFICIAL* git mirror of the ACL2 svn repository.
Language:Common Lisp0 2 00
acl2-tpm-and-java-interpreter
Automatically exported from code.google.com/p/acl2-tpm-and-java-interpreter
Language:Common Lisp1 1 00

ragerdl's Repositories

ragerdl/acl2
ACL2 System and Books as Maintained by the Community
Language:Common Lisp1 2 00
ragerdl/acl2-tpm-and-java-interpreter
Automatically exported from code.google.com/p/acl2-tpm-and-java-interpreter
Language:Common Lisp1 1 00
ragerdl/acl2-defthm-rc2
Language:Common Lisp0 2 00
ragerdl/aeon
module for data loading and transforming
Language:C++
ragerdl/apex-plugin-dynamicDateTimePicker
Oracle Apex Plugin Dynamic Date Time Picker
Language:PLSQL2 0
ragerdl/argcomplete
Python and tab completion, better together.
Language:Python2 0
ragerdl/bin
Place to store scripts that I use across different file-systems
2 0
ragerdl/blog
My personal blog
Language:JavaScript
ragerdl/caffe2
Caffe2 is a lightweight, modular, and scalable deep learning framework.
Language:C++2 0
ragerdl/caffe2neon
Tools to convert Caffe models to neon's serialization format
Language:Python
ragerdl/ccl
Clozure Common Lisp
Language:Common Lisp2 0
ragerdl/danielsada.tech
🌐 My personal website made with Hugo in Go.
Language:CSS1 0
ragerdl/diffmem
Reference implementations of neural networks with differentiable memory mechanisms (NTM, Stack RNN, etc.)
Language:Python
ragerdl/dtrace-stap-book
Book about DTrace and SystemTap
Language:Python1 0
ragerdl/grcuda
Polyglot CUDA integration for the GraalVM
Language:Java1 0
ragerdl/Home-AssistantConfig
:house: Home Assistant configuration & Documentation for my Smart House. Part list below. Be sure to :star: it.
Language:JavaScript2 0
ragerdl/igraph.org
igraph.org web site
Language:HTML
ragerdl/magit
It's Magit! A Git Porcelain inside Emacs.
Language:Emacs Lisp2 0
ragerdl/maxas
Assembler for NVIDIA Maxwell architecture
Language:CSS2 01
ragerdl/meetup
ipython notebooks for Nervana's deep learning meetup
Language:Jupyter Notebook
ragerdl/ModelZoo
neon model zoo
Language:Python
ragerdl/neon
Fast, scalable, easy-to-use Python based Deep Learning Framework by Nervana™
Language:Python2 0
ragerdl/neon_course
neon tutorials
Language:Jupyter Notebook2 0
ragerdl/neon_segnet
neon implementation of SegNet
Language:Python
ragerdl/nervanagpu
Nervana™ library for GPUs
Language:CSS
ragerdl/NyuziProcessor
GPGPU processor architecture
Language:C++
ragerdl/simple_dqn
Demo showing neon and Nervana Cloud integration with OpenAI's RL-Gym
Language:HTML2 0
ragerdl/spearmint
Spearmint is a package to perform Bayesian optimization according to the algorithms outlined in the paper: Practical Bayesian Optimization of Machine Learning Algorithms. Jasper Snoek, Hugo Larochelle and Ryan P. Adams. Advances in Neural Information Processing Systems, 2012
Language:Python
ragerdl/teamcity-google-agent
TeamCity support for Google cloud build agents
Language:Kotlin
ragerdl/terminal
The new Windows Terminal, and the original Windows console host - all in the same place!