Functional programming in TypeScript
- typescript
- functional-programming
- algebraic-data-types
Repository Index
47,133 repositories indexed
1–5 of 5 · Most stars
A port of Coq to Javascript -- Run Coq in your Browser
- coq
- proof-assistant
- javascript
- integrated-development-environment
TranslatedWenyan Lang for VS Code
Extensive math expression evaluator library for JavaScript and Node.js
- typescript
- interpreter
- javascript
- calculator
Language detector that works universally (browser + server) - Meant to be used with a universal framework, such as Next.js