-
idris2-rtlsdr Public
Idris2 package that provides low level bindings to rtlsdr
-
-
cryptol.vim Public
A ViM plugin for the Cryptol programming language.
-
-
-
-
source Public
Forked from lede-project/sourceMirror of https://git.lede-project.org/?p=source.git Please send your PRs against this tree. They will be merged via staging trees and appear in this tree once the staging trees get merged back int…
C GNU General Public License v2.0 UpdatedJul 30, 2017 -
EGL-Registry Public
Forked from KhronosGroup/EGL-RegistryEGL API and Extension Registry
HTML UpdatedApr 6, 2017 -
-
-
clew Public
Forked from martijnberger/clewThe OpenCL Extension Wrangler Library
C Other UpdatedAug 23, 2016 -
-
-
-
-
iso3166-2 Public
Defines codes for identifying the principal subdivisions (e.g., provinces or states) of all countries coded in ISO 3166-1.
UpdatedJul 16, 2015 -
-
-
-
-
-
-
-
-
bladeRF Public
Forked from Nuand/bladeRFbladeRF USB 3.0 Superspeed Software Defined Radio Source Code
C Other UpdatedMar 10, 2015 -
-
Congo Public
I don't even know what this is yet..
Haskell GNU General Public License v2.0 UpdatedJan 21, 2015 -
idris-vim Public
Forked from idris-hackers/idris-vimIdris mode for vim
Vim Script UpdatedOct 16, 2014 -
-
DragonFlyBSD Public
Forked from DragonFlyBSD/DragonFlyBSDDragonFly Master Repository (clone)
C Other UpdatedOct 12, 2014
{{ message }}