shnarazk Goto Github PK
Name: Narazaki, Shuji
Type: User
Company: a part-time tutor / coder
Bio: Ph.D. of Eng., SAT solver🧑🏻🔬, 🎄Advent of Code: 4️⃣5️⃣0️⃣⭐️⭐️ in Rust .👍Helix/Nix/Modified Engram ⌨️layout on Corne/Ferris.
Location: Japan, Asia
Narazaki, Shuji's Projects
multi_choice_app
MultiChoice Quiz App to learn Swift (but it accepts other questions by drag-and-drop).
nhk_now
An GUI application to show NHK broadcasting program
nixpkgs
Nix Packages collection & NixOS
pdp11
A web-based PDP11 emulator
pdp11-server
mirror of
pharo-propositionallogic
qiita
a sample Nuxt project to search qiita
rg-001
a study about real-time and interactive application development in Rust
sat-bench
A benchmark suit for SAT solvers
serenity
A Rust library for the Discord API.
shnarazk.github.io
A blog built with Zola
splr
A modern CDCL SAT solver in Rust
sudoku_sat
Solving Sudoku variants with SAT solvers
swiftnhk
talkonalgorithms
動的計画法、ダイクストラ法を最終習得目標に置いたアルゴリズムデザインに関する社内勉強会用資料
texcomp
Yet another LaTeX command/environment completion framework
tiny-haskell
tree-sitter-bqn
BQN grammar for tree-sitter
tree-sitter-factor
tree-sitter grammar for Factor
tree-sitter-lean
Experimental tree-sitter parser for the Lean (4) Theorem Prover
tree-sitter-uiua
Uiua grammar for tree-sitter. Finally, Uiua programmers get AST-based editing features.
try-mnist
ttsolver
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.