A simple functional language target to JavaScript
☆169Nov 12, 2017Updated 8 years ago
Alternatives and similar repositories for Smooth
Users that are interested in Smooth are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- a tiny FUNCITONAL LANGUAGE implemented by javascript. 一个函数式语言，使用 js 实现。☆79Aug 22, 2018Updated 7 years ago
- JavaScript 的面对对象库☆29Nov 20, 2015Updated 10 years ago
- a javascript toolkit library☆15Dec 15, 2016Updated 9 years ago
- This is a multitasking and x86 based operating system.☆40May 5, 2020Updated 6 years ago
- The die-cute cpu on paper☆35Dec 2, 2015Updated 10 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- SMA_bad_apple☆24Jul 2, 2017Updated 8 years ago
- ☆14Oct 30, 2015Updated 10 years ago
- A proof assistant.☆12Feb 19, 2016Updated 10 years ago
- WN8OS's Not a x86 Operating System: a tiny x64 operating system, for studying purpose.☆15Aug 2, 2015Updated 10 years ago
- Python binding for the H2O HTTP server☆23Feb 26, 2017Updated 9 years ago
- ☆19Oct 13, 2015Updated 10 years ago
- C++ forum system☆215Jan 9, 2016Updated 10 years ago
- Enhance V2EX user experience via UserScript☆70Feb 22, 2023Updated 3 years ago
- Yet Another File System (yfs) based on Paxos algorithm.☆16Oct 22, 2017Updated 8 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- share files via webtorrent☆151Sep 24, 2016Updated 9 years ago
- List of ICFP'13 accepted papers, with links to preprint or additional information when available☆72Jul 24, 2016Updated 9 years ago
- Scrapy Spider for 中国发展改革委员会☆13Nov 17, 2014Updated 11 years ago
- ☆11Dec 29, 2018Updated 7 years ago
- a fast and lightweight scrypt hash algorithm for browser☆154Sep 3, 2021Updated 4 years ago
- ☆73Feb 12, 2014Updated 12 years ago
- ☆194Nov 5, 2015Updated 10 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated last month
- ZERQU is a content-focused API-based platform.☆173Mar 28, 2020Updated 6 years ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- (deprecated) A douban FM client in OS X (web application).☆34Oct 4, 2015Updated 10 years ago
- KU Leuven Haskell Compiler☆15Aug 16, 2021Updated 4 years ago
- an easy but powerful parser☆160Mar 16, 2014Updated 12 years ago
- A Dict k v in Idris☆15Dec 15, 2020Updated 5 years ago
- a customizable and extensible language with dynamic parser and meta compilation.☆65Nov 27, 2015Updated 10 years ago
- 妈妈计划-众人拾柴火焰高☆2,041May 6, 2019Updated 7 years ago
- 分享你的面试被坑经历,共建那些年“坑过你”的互联网公司目录☆275Sep 11, 2015Updated 10 years ago
- A blade-sharp javascript library that provides several simple jQuery like operations☆35Apr 19, 2017Updated 9 years ago
- Reference Implementation of Romanov's Polynomial Algorithm for Boolean 3-SAT Problem☆92Jan 4, 2016Updated 10 years ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- HTML5 FLV Player☆41Feb 7, 2022Updated 4 years ago
- A small library aims to improve better tagged-unions/discriminated-unions supporting for TypeScript☆30Feb 16, 2022Updated 4 years ago
- A php framework☆35Jan 5, 2019Updated 7 years ago
- 简易的 JavaScript 元循环解释器☆1,350Mar 8, 2018Updated 8 years ago
- A programming language☆77May 21, 2013Updated 13 years ago
- Elixir元编程与DSL 中文翻译☆26Aug 14, 2016Updated 9 years ago
- 一些杂七杂八的东西☆29Mar 22, 2018Updated 8 years ago