Various data structures for use in the Idris Language.
The main features of jfdm/idris-containers are: Projects.
Open-source alternatives to jfdm/idris-containers include: aeon0/fps-game — A Multiplayer FPS built with Babylon.js. In this implementation the server only acts as messanger, but only the… aeon0/multiplayer-babylon-js-game — You can open the Demo in two different browser tabs, that way you spawn two different players into the world Demo… arc0re/arc0re.github.io — Github hosting of the game. armomu/ergoudan — 原理很简单，使用 Havok 物理线性移动控制角色. babylonjs-archive/3d-tetris — Goal: demonstrate how Babylon.js is a tool that makes software development fun and engaging. adisoftbn/bomberman3d — This project was generated with Angular CLI version 1.0.1.
A Multiplayer FPS built with Babylon.js. In this implementation the server only acts as messanger, but only the clients actually simulate the world.
You can open the Demo in two different browser tabs, that way you spawn two different players into the world Demo here: http://185.82.21.82:8700
This project was generated with Angular CLI version 1.0.1.
