|
|
Perl |
2 |
CLI utility for manipulating (hand written) DNS zone files |
Apr 10, 2023 |
|
|
Scala |
3 |
Isabelle component generating Dedukti proofs |
Dec 15, 2022 |
|
|
Common Lisp |
3 |
People's Verification System in Dedukti |
Feb 17, 2023 |
|
|
Python |
2 |
Hand written digit recognition |
Aug 06, 2022 |
|
|
Jupyter Notebook |
2 |
Recognising Hand Written Digits |
Dec 19, 2022 |
|
|
Python |
9 |
Hand Written Blots augmentation |
Apr 11, 2023 |
|
|
Ruby |
2 |
Hand-written curations for vulnerability history |
May 11, 2023 |
|
|
OCaml |
3 |
A universe reconstruction tool based on Dedukti and the encoding of CiC in Dedukti |
Jan 04, 2022 |
|
|
OCaml |
2 |
A translator from OpenTheory to Dedukti |
Apr 26, 2020 |
|
|
Lean |
3 |
WIP translation from Lean to Dedukti |
Sep 29, 2023 |
|
|
OCaml |
3 |
HOL-Light to Dedukti/Lambdapi translator |
Jan 07, 2024 |
|
|
Ruby |
2 |
hand written docs for phonegap and xui |
Aug 06, 2014 |
|
|
CSS |
3 |
Web App for Recognizing Hand Written Digit |
Sep 21, 2022 |
|
|
JavaScript |
11 |
hand written docs for phonegap and xui |
Jan 11, 2023 |
|
|
Python |
6 |
Stamico, a hand-written font. |
May 05, 2022 |
|
|
C++ |
2 |
Hand-written compiler for a c++-like language. |
May 26, 2017 |
|
|
Go |
2 |
Hand-crafting SVG files for learning purposes. |
Mar 03, 2023 |
|
|
None |
2 |
Hand Written Notes on Operating System |
Apr 27, 2022 |
|
|
PHP |
22 |
A fully hand-written Typecho theme. |
Jul 27, 2022 |
|
|
Jupyter Notebook |
5 |
mlp classification Recognizing hand-written digits |
Apr 07, 2021 |
|
|
WebAssembly |
8 |
Mini raytracer in hand-written wasm |
Jan 28, 2023 |
|
|
Jupyter Notebook |
2 |
Fake Hand written digits with GAN |
Apr 13, 2022 |
|
|
Rust |
4 |
A hand-written note taking program |
Jan 20, 2023 |
|
|
None |
2 |
Entire Machine Learning Hand Written Notes |
Jan 12, 2024 |
|
|
None |
9 |
A collection of Hand Interaction Experiments using Unity and Ultraleap hand tracking |
Apr 24, 2023 |
|
|
HTML |
2 |
Rendering a flask app for hand-written digits recognition. |
May 14, 2020 |
|
|
JavaScript |
7 |
Beautifully hand-crafted collection of media icons. |
Apr 03, 2023 |
|
|
None |
5 |
Design analysis and algorithms (Hand Written notes) |
May 03, 2022 |
|
|
Rust |
7 |
A hand-written recursive decent Verilog parser. |
Jun 06, 2022 |
|
|
WebAssembly |
67 |
Non-trivial programs in hand-written WebAssembly |
Mar 17, 2023 |
|
|
Python |
4 |
hand-written digits recongnization base on RBM |
Feb 12, 2021 |
|
|
Python |
84 |
A small, hand-written Python JSON library |
Apr 18, 2023 |
|
|
WebAssembly |
9 |
Jay's resume, hand-written in WebAssembly text |
Jan 25, 2022 |
|
|
Matlab |
2 |
Hand Written Character Recognition Application in Matlab . |
Oct 07, 2021 |
|
|
Ruby |
11 |
Elegant poker hand ranker written in Ruby |
Jan 19, 2023 |
|
|
C |
3 |
C-like compiler, hand-written from scratch |
Mar 07, 2023 |
|
|
Kotlin |
2180 |
A collection of hand-crafted extensions for your Kotlin projects. |
Oct 16, 2022 |
|
|
Python |
2 |
MNIST Hand written digits classification using bidirectional rnn written in keras |
Mar 12, 2019 |
|
|
Python |
9 |
Django library for managing and executing hand-written PostgreSQL migrations |
Jan 10, 2022 |
|
|
Java |
2 |
A hand-rolled Battlesnake-AI-Server written for the JVM. |
Apr 11, 2023 |
|
|
None |
3 |
Hand-crafted, high quality collection of Zen quotes |
Oct 18, 2023 |
|
|
Rust |
5 |
Alternative implementation of the logical framework Dedukti in Rust |
Oct 16, 2022 |
|
|
OCaml |
4 |
A tool to rewrite Dedukti terms using rewrite rules |
Jan 30, 2021 |
|
|
C++ |
12 |
A Collection of Custom Utility Header Files written in C++ |
May 30, 2022 |
|
|
C# |
11 |
oboe C# bindings (with hand-written C API) |
Aug 20, 2022 |
|
|
WebAssembly |
48 |
Conway's Game of Life - hand written in WebAssembly |
Aug 27, 2022 |
|
|
Java |
8 |
Flawed hand-written microbenchmarks and different JMH microbenchmarks |
Feb 22, 2023 |
|
|
Jupyter Notebook |
14 |
Deep neural architecture on bengali hand written character. |
Feb 25, 2023 |
|
|
R |
2 |
ANN-self organizing maps-Hand written digits data |
Mar 08, 2016 |
|
|
HTML |
2 |
My collection of resources for hand-crafting beautiful and performant websites. |
May 15, 2022 |