Pinned Repositories
actor-ping
awssdkdynamo
bib-satysfi
Citation in SATySFi like BibTeX
BinaryNet_and_XNORNet
Keras implementations of BinaryNet and XNORNet
blanu
ccg2lambda
Web GUI of original ccg2lambda
ccg2lambda.rs
toy implementation of https://github.com/mynlp/ccg2lambda in Rust
jalean
PoC: formal semantics for japanese on Lean
rustyblue
WIP: re-implementation of "lightblue" (CCG parser for Japanese with DTS-representations)
str2term
denjiry's Repositories
denjiry/ccg2lambda
Web GUI of original ccg2lambda
denjiry/jalean
PoC: formal semantics for japanese on Lean
denjiry/rustyblue
WIP: re-implementation of "lightblue" (CCG parser for Japanese with DTS-representations)
denjiry/str2term
denjiry/actor-ping
denjiry/awssdkdynamo
denjiry/blanu
denjiry/blog_os
Writing an OS in Rust
denjiry/bulletproof-react
🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.
denjiry/crev-proofs
Crev proof repository
denjiry/critical-path-css-rails
Only load the CSS you need for the initial viewport in Rails!
denjiry/datka
denjiry/hooks-tutorial
denjiry/js-ts-handson
denjiry/kanban
denjiry/leanforeign
denjiry/leanhello
denjiry/learning-systems-programming-in-rust
「Rustならわかるシステムプログラミング」
denjiry/lightblue
A CCG parser for Japanese with DTS-representations
denjiry/MoonZoon
Rust Fullstack Framework
denjiry/os
denjiry/pindilogji
denjiry/RNHandsOn
denjiry/script
denjiry/smartcore-example
denjiry/sudachi.rs
An official Sudachi clone in Rust (incomplete) 🦀
denjiry/testharness
denjiry/ts-tutorial
denjiry/utterance
denjiry/zenn