mtsmtry

Pinned Repositories

-incentknow-graphql
00
csharp-react-template
Template for C# / Typescript / React
Language:TypeScript0 1 00
deep-face-insight
Language:Jupyter Notebook00
directx-renderer
Language:C++0 0 00
docker-mailserver
A fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) using Docker.
Language:Shell00
exabroker
Language:TypeScript10
gaussian-splatting
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
Language:Python00
incentknow
Language:PureScript00
insecta
Theorem proving language
Language:Haskell10

mtsmtry's Repositories

mtsmtry/exabroker
Language:TypeScript10
mtsmtry/insecta
Theorem proving language
Language:Haskell10
mtsmtry/-incentknow-graphql
00
mtsmtry/csharp-react-template
Template for C# / Typescript / React
Language:TypeScript0 1 00
mtsmtry/deep-face-insight
Language:Jupyter Notebook00
mtsmtry/directx-renderer
Language:C++0 0 00
mtsmtry/docker-mailserver
A fullstack but simple mail server (SMTP, IMAP, LDAP, Antispam, Antivirus, etc.) using Docker.
Language:Shell00
mtsmtry/gaussian-splatting
Original reference implementation of "3D Gaussian Splatting for Real-Time Radiance Field Rendering"
Language:Python00
mtsmtry/incentknow
Language:PureScript00
mtsmtry/light-math-cpp
Language:C++00
mtsmtry/matching-chat
A Basic example of how to use @chatscope/use-chat library
mtsmtry/mathjax-lambda
MathJax-node for Serverless (AWS Lambda)
Language:JavaScript
mtsmtry/mtsmtry.github.io
mtsmtry/purescript-readts
Read Typescript source and write Purescript types
mtsmtry/smallest-c-compiler
mtsmtry/theorem-proving
Theorem proving by Light Math
mtsmtry/ts2ps
A transpiler typescript to purescript
Language:JavaScript1 0