calebegg Goto Github PK
Name: Caleb Eggensperger
Type: User
Company: Google
Twitter: calebegg
Location: New York, NY
Blog: ca.lebe.gg
Name: Caleb Eggensperger
Type: User
Company: Google
Twitter: calebegg
Location: New York, NY
Blog: ca.lebe.gg
This started out as a blog where I was going to do one project a day for a year, but I was never really satisfied with it and I gave up on it early because it was way too much work. I still think some of these are interesting and worthwhile, and it was a nice experiment in programming in ACL2 more.
ACL2 System and Books as Maintained by the Community
Experiments in displaying weather data from NOAA's API, focusing on my area for now.
Like a sandwich but code.
The repository for high quality TypeScript type definitions.
☂️ TypeScript style guide, formatter, and linter.
A markdown editor with some WYSIWYG editing conventions
An experiment in showing the NYC subway's real time arrival data in a super fast, dense, commuter-centric format.
A web IDE for ACL2 using a Kubernetes based backend. Evolution of https://github.com/calebegg/proof-pad-classic
An IDE for ACL2
An alternate way of viewing code that adds more interesting characters to the mix in the hopes of helping find bugs and making code more skimable.
A website and evaluation service so that visitors can try ACL2 in their browser without any plugins or installation.
Untitled Live Code Editor
Code for my personal page at ca.lebe.gg
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.