Block or Report
Block or report dataronio
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuse-
-
tyvm Public
Forked from zackradisic/tyvmAn experimental bytecode interpreter for type-level Typescript
Zig UpdatedOct 19, 2023 -
-
austral Public
Forked from austral/australSystems language with linear types and capability-based security.
OCaml GNU General Public License v3.0 UpdatedFeb 18, 2023 -
SDRPlusPlus Public
Forked from AlexandreRouma/SDRPlusPlusCross-Platform SDR Software
C++ GNU General Public License v3.0 UpdatedFeb 18, 2023 -
sdrangel Public
Forked from f4exb/sdrangelSDR Rx/Tx software for Airspy, Airspy HF+, BladeRF, HackRF, LimeSDR, PlutoSDR, RTL-SDR, SDRplay RSP1 and FunCube
C++ GNU General Public License v3.0 UpdatedFeb 18, 2023 -
SoapySDR Public
Forked from pothosware/SoapySDRVendor and platform neutral SDR support library.
C++ Boost Software License 1.0 UpdatedJan 14, 2023 -
checker-framework Public
Forked from typetools/checker-frameworkPluggable type-checking for Java
Java Other UpdatedOct 12, 2022 -
qlib Public
Forked from microsoft/qlibQlib is an AI-oriented quantitative investment platform, which aims to realize the potential, empower the research, and create the value of AI technologies in quantitative investment. With Qlib, yo…
Python MIT License UpdatedSep 10, 2022 -
FinRL Public
Forked from AI4Finance-Foundation/FinRLFinRL: Financial Reinforcement Learning. Please star. 🔥
Jupyter Notebook MIT License UpdatedSep 8, 2022 -
Matrix_ToF_Drones Public
Forked from ETH-PBL/Matrix_ToF_DronesIndoor Navigation System based on Multi-Pixel Time-of-Flight Imaging for Nano-Drone Applications
HTML GNU General Public License v3.0 UpdatedSep 6, 2022 -
checkedc Public
Forked from microsoft/checkedcChecked C is an extension to C that lets programmers write C code that is guaranteed by the compiler to be type-safe. The goal is to let people easily make their existing C code type-safe and elimi…
C Other UpdatedSep 1, 2022 -
AndroidTacticalAssaultKit-CIV Public
Forked from deptofdefense/AndroidTacticalAssaultKit-CIVJava Other UpdatedAug 19, 2022 -
-
lbForth Public
Forked from larsbrinkhoff/lbForthSelf-hosting metacompiled Forth, bootstrapping from a few lines of C; targets Linux, Windows, ARM, RISC-V, 68000, PDP-11, asm.js.
Forth GNU General Public License v3.0 UpdatedMar 31, 2022 -
rascal Public
Forked from usethesource/rascalThe implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)
Java Other UpdatedMar 31, 2022 -
cafeobj Public
Forked from CafeOBJ/cafeobjDevelopment of the CafeOBJ interpreter
Common Lisp Other UpdatedFeb 2, 2022 -
SICL Public
Forked from robert-strandh/SICLA fresh implementation of Common Lisp
Common Lisp Other UpdatedFeb 1, 2022 -
-
CheMPS2 Public
Forked from SebWouters/CheMPS2CheMPS2: a spin-adapted implementation of DMRG for ab initio quantum chemistry
C++ GNU General Public License v2.0 UpdatedJan 30, 2022 -
stgi Public
Forked from quchen/stgiA user-centric visual STG implementation to help understand GHC/Haskell's execution model.
Haskell Other UpdatedJan 30, 2022 -
how-to-build-your-own-uber-for-x-app Public
Forked from booleanhunter/how-to-build-your-own-uber-for-x-appCode for my blog post on How to Build Your Own Uber-for-X App
HTML UpdatedJan 30, 2022 -
learn-tt Public
Forked from jozefg/learn-ttA collection of resources for learning type theory and type theory adjacent fields.
UpdatedJan 30, 2022 -
fullstack-nanodegree-vm Public
Forked from udacity/fullstack-nanodegree-vmPython UpdatedJan 30, 2022 -
pyrsistent Public
Forked from tobgu/pyrsistentPersistent/Immutable/Functional data structures for Python
Python MIT License UpdatedJan 30, 2022 -
Python-for-Algorithms--Data-Structures--and-Interviews Public
Forked from jmportilla/Python-for-Algorithms--Data-Structures--and-InterviewsFiles for Udemy Course on Algorithms and Data Structures
-
scalatron Public
Forked from scalatron/scalatronScalatron, a multi-player programming game in which coders pit bot programs (written in Scala) against each other
Scala UpdatedJan 30, 2022 -
datasharing Public
Forked from jtleek/datasharingThe Leek group guide to data sharing
UpdatedJan 30, 2022 -
pytorch-flows Public
Forked from ikostrikov/pytorch-flowsPyTorch implementations of algorithms for density estimation
Python MIT License UpdatedJan 30, 2022 -
pyGPGO Public
Forked from josejimenezluna/pyGPGOBayesian optimization for Python
Python MIT License UpdatedJan 30, 2022