mathsteps
vox
| mathsteps | vox | |
|---|---|---|
| 7 | 13 | |
| 2,083 | 325 | |
| 0.2% | - | |
| 2.1 | 5.8 | |
| 10 months ago | 7 months ago | |
| JavaScript | D | |
| Apache License 2.0 | Boost Software License 1.0 |
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
mathsteps
- Get Unstuck. Learn Better
-
Discover the Top 10 Homework Help Websites for College Students
4) Socratic - Your AI-Powered Homework Buddy
-
10 Amazing Developer Tools That Will Improve Your Workflow
5. Socratic by Google
-
Any libraries that can solve equations step-by-step?
Unfortunately, the only open source step-by-step solver I'm aware of in any language is Google’s JS thing
- Socratic by Google. Get unstuck. Learn better
-
Open Source Math Engine for step-by-step solution?
Does https://github.com/google/mathsteps look like what you're looking for? I haven't used it myself but I came across it
-
Ask HN: Who Wants to Collaborate?
Hi nhatcher,
You might be interested in https://github.com/google/mathsteps which is a CAS designed to automatically explain step-by-step a problem so that humans can learn from it. There is a presentation (https://www.youtube.com/watch?v=VnBae40DfjE) and a post discussing the system if you are interested (https://blog.socratic.org/stepping-into-math-open-sourcing-o...).
p.s.
vox
- The Styx Programming Language
- Vox – multiparadigm PL inspired by D, Jai, and Zig
-
Embeddable script compiler for video games
I chase the same goal with Vox, although it is written in D.
-
SSA && Middle End resources
Just somewhere to point me, because while I do understand SSA a bit though I can't seem to make progress learning about it (dont know where from). I found https://github.com/MrSmith33/vox/blob/master/internals.md which kinda feeds me information but probably not enough.
- Open source compilers that use three address code as IR?
-
Ask HN: Who Wants to Collaborate?
Looking for contributors to Vox programming language/compiler: Statically typed, compiled and embeddable language, primarily focused on gamedev. It uses custom backend to keep low compile-times and small size. Written in D language.
https://github.com/MrSmith33/vox
-
Ast Arenas
Because it is easier to have a free-list in a dedicated array arena, so you could reuse memory when you free it (and you need to grow arrays when you fill them). I was lazy and did 13 array arenas each dedicated to allocating fixed size chunks, from 16 bytes to 64k bytes. Bigger sizes currently go to malloc/free. And I restrict arrays to PoT sizes, so they only request PoT sized chunks from array arenas.
-
Data oriented compiler architecture?
I use this approach in Vox compiler. Everything is stored in arenas including AST nodes and IR. I'm in the process of documenting the design, but I added a bit of description on memory management and IR storage
-
3 address form to 2 address ISA
Tip: Should probably use the Github permalink https://github.com/MrSmith33/vox/blob/35ec440d0c9a475cd4add6093d122cd249b03be9/source/be/reg_alloc/linear_scan.d#L891-L918 so later readers do not go to some random line after you change that file :)
-
Compiler Speed Tests
Here is a CI build
What are some alternatives?
firefly-boot - Bootstrap compiler for Firefly
langs
mnm - mnm implements TMTP protocol. Let Internet sites message members directly, instead of unreliable, insecure email. Contributors welcome! (Server)
ldc - The LLVM-based D Compiler.
HPI - Human Programming Interface 🧑👽🤖
yjit - Optimizing JIT compiler built inside CRuby
awayto - Awayto is a curated development platform, producing great value with minimal investment. With all the ways there are to reach a solution, it's important to understand the landscape of tools to use.
oil - Oils is our upgrade path from bash to a better language and runtime. It's also for Python and JavaScript users who avoid shell!
remake-framework - Remake framework used by the Remake CLI to generate new projects
godbledger - Accounting Software with GRPC endpoints and SQL Backends
realworld - "The mother of all demo apps" — Exemplary fullstack Medium.com clone powered by React, Angular, Node, Django, and many more
Raylib-CsLo - autogen bindings to Raylib 4.x and convenience wrappers on top. Requires use of `unsafe`