Highlights
- Pro
-
typeprof Public
Forked from ruby/typeprofAn experimental type-level Ruby interpreter for testing and understanding Ruby code
Ruby MIT License UpdatedDec 13, 2024 -
lisp-rs Public
A LISP compiler and interpreter written in Rust.
-
zenn-public-repo Public
Forked from yo-goto/zenn-public-repoZenn の無料記事用リポジトリ
TypeScript UpdatedSep 25, 2024 -
rust Public
Forked from rust-lang/rustEmpowering everyone to build reliable and efficient software.
Rust Other UpdatedJul 15, 2024 -
bevy Public
Forked from bevyengine/bevyA refreshingly simple data-driven game engine built in Rust
Rust Apache License 2.0 UpdatedJun 17, 2024 -
fast_jigsaw_puzzle_solver Public
Forked from hj2choi/fast_jigsaw_puzzle_solverfragments image and re-assemble them back to original image. #Prim's MST algorithm
Python UpdatedJun 5, 2024 -
rv32emu Public
Forked from sysprog21/rv32emuRISC-V RV32I[MACF] emulator
C MIT License UpdatedAug 9, 2023 -
protobuf Public
Forked from protocolbuffers/protobufProtocol Buffers - Google's data interchange format
C++ Other UpdatedMay 19, 2023 -
hnswlib-rs Public
Forked from jean-pierreBoth/hnswlib-rsRust implementation of the HNSW algorithm (Malkov-Yashunin)
Rust Other UpdatedMay 10, 2023 -
-
-
ailia-models Public
Forked from axinc-ai/ailia-modelsPretrained models for ailia SDK
Python UpdatedAug 26, 2022 -
arduino-esp32 Public
Forked from espressif/arduino-esp32Arduino core for the ESP32
C GNU Lesser General Public License v2.1 UpdatedSep 8, 2021 -
-
-
tiger-lang Public
A compiler of tiler-lang in "Modern Compiler Implementation"
-
-
effekt Public
Forked from effekt-lang/effektA research language with effect handlers and lightweight effect polymorphism
Scala MIT License UpdatedNov 22, 2020 -
-
-
VC4C Public
Forked from doe300/VC4CCompiler for the VC4CL OpenCL implementation
C MIT License UpdatedNov 1, 2020 -
-
py-videocore Public
Forked from Idein/py-videocorePython library for GPGPU on Raspberry Pi
Python MIT License UpdatedDec 1, 2019 -
vc4asm Public
Forked from maazl/vc4asmMacro assembler for Broadcom VideoCore IV aka Raspberry Pi GPU
C++ UpdatedOct 5, 2019 -
simple-proof-assistant Public
a proof assistant kernel for minimal propositional logic
Rust UpdatedJul 10, 2019 -
-
cxxopts Public
Forked from jarro2783/cxxoptsLightweight C++ command line option parser
C++ MIT License UpdatedOct 16, 2018 -
-
doctree Public
Forked from rurema/doctreeRepository of Japanese Ruby reference manual
R UpdatedSep 13, 2018 -
harness Public
Forked from lift-project/harnessThe experimental harness for the Lift project.
C++ MIT License UpdatedJun 17, 2018