1467 Open source projects that are alternatives of or similar to Theoremjs

A comprehensive Vim utility functions for Vim plugins

Throw in the towel.

一个极简高性能php框架，支持[swoole | php-fpm ]环境

Pode is a Cross-Platform PowerShell web framework for creating REST APIs, Web Sites, and TCP/SMTP servers

Pure C math library for 2D and 3D programming

Modern PHP framework for building blazing fast REST APIs, CRUDs and microservices

A powerful framework for developing CLIs in Swift

Fast and low overhead web framework fastify benchmarks.

A Python framework to write Kubernetes operators in just a few lines of code

Apprise - Push Notifications that work with just about every platform!

A frankenstein framework - middleware and annotation based

a symbolic math expression evaluator for javascript

All my Flutter Challenges

EasyRealm is a micro-framework that helps you use Realm.

In-memory and distributed caching toolkit for Elixir.

The Ethereum development framework with the most cute animal pictures

Extendable MVI framework for Kotlin Multiplatform with powerful debugging tools (logging and time travel)

一个设计精巧, 协议实现完备的, 基于 mirai-api-http 的即时聊天软件自动化框架.

⛏️ ‎ A front-end design toolkit for developing web apps.

Framework for building Windows malware, written in C++

A community-developed, free, open source, microservices API automation and load testing framework built using JUnit core runners for Http REST, SOAP, Security, Database, Kafka and much more. Zerocode Open Source enables you to create, change, orchestrate and maintain your automated test cases declaratively with absolute ease.

Easily build reactive web-apps in Kotlin based on flows and coroutines.

Provide support to increase developer productivity in Java when using Neo4j. Uses familiar Spring concepts such as a template classes for core API usage and lightweight repository style data access.

코딩테스트 대비 문제집(Baekjoon Online Judge)

A Java math library for OpenGL rendering calculations

a calculating engine~

UI automation library for .Net

Game server framework based on cellnet

TextGAN is a PyTorch framework for Generative Adversarial Networks (GANs) based text generation models.

A server-side web framework written in Forth.

Object oriented web framework for Kotlin/JS

An Object-Oriented Platform for Arduino/AVR

A super-easy, composable, web server framework for warp speeds.

in progress pretty printing calculator language

🌀 一款以 JSON 为主的 Java Web 框架。

[Not maintained] An enhanced permission system which support object permission in Django

Node.js actor framework.

Create structured, declarative and beautifully organized class-based controllers with heavy decorators usage in Express / Koa using TypeScript and Routing Controllers Framework.

Official repository for concrete5 development

Objective-C wrapper for OpenVPN library. Compatible with iOS and macOS.

BunnyJS - Lightweight native (vanilla) JavaScript (JS) and ECMAScript 6 (ES6) browser library, package of small stand-alone components without dependencies: FormData, upload, image preview, HTML5 validation, Autocomplete, Dropdown, Calendar, Datepicker, Ajax, Datatable, Pagination, URL, Template engine, Element positioning, smooth scrolling, routing, inversion of control and more. Simple syntax and architecture. Next generation jQuery and front-end framework. Documentation and examples available.

Pyinstaller auto-update library

Neptune Framework official account.

Lawoole is a high-performance PHP framework based on Laravel and Swoole

Modern framework to print the web correctly.

Deep Reinforcement Learning library for humans

一个轻量级、高效率的支持多端（应用与硬件Iot）的可分布式、异步网络应用通讯框架

Our Front-end baseplate, from mobile to desktop

A cross-platform, minimalist web framework for PowerShell

Komputation is a neural network framework for the Java Virtual Machine written in Kotlin and CUDA C.

Vuesax v4: framework components for Vuejs

Gearbox ⚙️ is a web framework written in Go with a focus on high performance

基础框架系统，支持.NET和.NET Core平台，语言:C#，DB支持MySql和SqlServer，主要功能有抽象持久化、服务层，将业务基本的增删改查抽离复用；提供代码生成器从DB生成实体、持久化、服务以及MVC控制器，每层依赖接口，并需要在客户端将对应实现层用Autofac程序集依赖注入，用AOP提供日志跟踪、事务、模型验证等。对Autofac、Redis、RabbitMQ封装扩展；DB访问提供自动主从访问，Redis客户端分区。特别适合管理系统。

Artificial Intelligence framework for games based on libGDX or not. Features: Steering Behaviors, Formation Motion, Pathfinding, Behavior Trees and Finite State Machines

High-Performance Long-Living PHP Framework for modern enterprise application development

Cross-platform runtime mod loader and API for any Unity-based game. Supports Unity 5 and up!

A C++ bare metal environment for Raspberry Pi with USB (32 and 64 bit)

Game Agent Framework. Helping you create AIs / Bots that learn to play any game you own!

OpenPGP library for iOS and macOS

Feather is a modern Swift-based content management system powered by Vapor 4.