Beast code in Giters

denjiry's repositories

ccg2lambda

Web GUI of original ccg2lambda

Language:PythonApache-2.04 30

jalean

PoC: formal semantics for japanese on Lean

Language:Lean1 10

rustyblue

WIP: re-implementation of "lightblue" (CCG parser for Japanese with DTS-representations)

Language:Rust1 2 8

str2term

Language:Lean1 10

actor-ping

Language:Rust020

awssdkdynamo

Language:Rust020

blanu

Language:Rust020

blog_os

Writing an OS in Rust

Language:HTMLApache-2.0010

bulletproof-react

🛡️ ⚛️ A simple, scalable, and powerful architecture for building production ready React applications.

Language:TypeScriptMIT010

crev-proofs

Crev proof repository

010

critical-path-css-rails

Only load the CSS you need for the initial viewport in Rails!

Language:RubyMIT010

datka

Language:TypeScript020

hooks-tutorial

Language:TypeScript020

js-ts-handson

Language:JavaScript020

kanban

Language:Rust020

leanforeign

Language:Lean010

leanhello

Language:Lean010

learning-systems-programming-in-rust

「Rustならわかるシステムプログラミング」

Language:Rust010

lightblue

A CCG parser for Japanese with DTS-representations

Language:HaskellBSD-3-Clause010

MoonZoon

Rust Fullstack Framework

Language:RustMIT010

os

Language:Rust020

pindilogji

Language:RustApache-2.0020

RNHandsOn

Language:TypeScript020

script

Language:Rust020

smartcore-example

Language:Rust010

sudachi.rs

An official Sudachi clone in Rust (incomplete) 🦀

Language:RustApache-2.0010

testharness

Language:Rust020

ts-tutorial

Language:TypeScript020

utterance

Language:Rust020

zenn

010