No Activity tracked this Week
- 🔭 Working with the Julia programming language.
Name: Taine Zhao
Type: User
Bio: L'honneur de l'esprit humain.
A template that enables submitting F# code to leetcode via Fable and other tools.
F# Json serialization/deserialization for algebriac data types and nominal records; compatible to Fable's existing backends
Lexer and parser generators for F#
Higher abstraction infrastructures in F#(ad-hoc polymorphism, subtypeclassing, monad, hkt...), exactly what we've dreamed about for so long
嘛,用matlab写的一个小框架。可以支持模糊网络。这个和之前见过的不一样,我很惊讶反向传播对它居然是有效的。
Cross platform Neovim front-end UI, built with F# + Avalonia
The official registry of general Julia packages
Setting up an Idris dev environment on Windows
build confidence with LaTeX. appreciations to @iExploder as we together figure out a valid and much better way to call python in LaTex.
convert bnf files, to LaTex notations, supporting multiple LaTex BNF packages as back ends
syntax highligher for GkdTeX
A programmable, TeX-compatible and 2-stage typesetting language.
wrapping tikz in gkdtex for simplifying the use of Tikz in a factor of 114514.
modern implementation of real goto/label statements in python 3.5+.
Microsoft Graph Engine
A chance to focus on graph drawing itself, forget APIs and other stuffs.
Maintenance of Matt Morrow's package for parsing haskell source to a TH AST.
A refined implementation of Lightweighted Higher Kinded Types in Julia(via typeclasses/traits)
Providing HM unification with row polymorphism support
Sucessor: https://github.com/thautwarm/Quick-Backend
A Dependently Typed Functional Programming Language
Successor project: https://github.com/thautwarm/Quick-Backend
A dependently typed programming language, a successor to Idris
a fork of purescript-python; use purescript frontend and its IDE for diana script and unity game engine
demo for incantation
Say incantations to enjoy web designing.
I have too many repos, so I make an index for them, to allow a fast preview of my interets.
Implementation of inline cache in Python.
My Java Proj/黑历史
scratch: experimental type checker for Julia, no need for additional type annotations
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google ❤️ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.