Topic: statically-typed Goto Github
Some thing interesting about statically-typed
Some thing interesting about statically-typed
statically-typed,An interpreted statically typed multi paradigm general purpose programming language designed for cross platform applications.
User: aermoss
statically-typed,A compiled statically typed multi paradigm general purpose programming language designed for cross platform applications.
User: aermoss
statically-typed,A [not-so-soon-to-be] safe programming language closely integrated with various tools for ease of development.
User: agathokakologicalbit
statically-typed,ไธ็ง็ฎๅ็ใ็ปๆๅ็ใ้ขๅ่ฟ็จ็ใ้ๆ็ฑปๅ & ๅผบ็ฑปๅ็็ผ็จ่ฏญ่จ๏ผๅๅ ถ็ผ่ฏๅจใๆฑ็ผๅจไธ่ๆๆบ็่ฎพ่ฎกไธๅฎ็ฐ
User: alonecafe
Home Page: https://github.com/AloneCafe/frog
statically-typed,Functional programming inspired by ML for the Erlang VM
Organization: alpaca-lang
statically-typed,๐ A statically typed lisp-like (currently) programming language.
Organization: axolotl-lang
statically-typed,Official source of Bow
Organization: bowlang
statically-typed,"Racket" to x86 compiler
User: chrisnevers
statically-typed,A simple statically-typed language written in pure Crystal.
Organization: cosmo-lang
Home Page: https://cosmo-lang.dev
statically-typed,A minimum viable functional programming language for the JVM
User: davidgregory084
Home Page: https://codeberg.org/mina-lang/mina
statically-typed,A statically-typed variant of Lox, written in TypeScript
User: davidtimms
statically-typed,Type Annotation Driven Dependency injection
User: edlund
statically-typed,Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
User: edubart
Home Page: https://nelua.io
statically-typed,QINP Is Not Python
Organization: eqosys
statically-typed,The Mrald Programming Language
User: ericnantel
statically-typed,An imperative, statically-typed toy language
User: felko
statically-typed,A statically typed functional programming language for the web.
Organization: fika-lang
statically-typed,The initial (legacy) compiler for the Gera programming language.
Organization: geralang
Home Page: https://geralang.netlify.app/
statically-typed,An ML-like statically-typed Erlang
User: gfngfn
statically-typed,โญ๏ธ A friendly language for building type-safe, scalable systems!
Organization: gleam-lang
Home Page: https://gleam.run
statically-typed,๐ฎ The application platform for your cyberpunk desk
Organization: hihaheho
Home Page: https://desk-x.com
statically-typed,A Functional Programming Language inspired by Haskell and Kotlin
User: icxd
statically-typed,A scripting language built for speed in world where JavaScript runs on web servers
User: indianakernick
statically-typed,Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
User: isc30
Home Page: https://www.npmjs.com/package/linq-collections
statically-typed,Interpreter written for Prolog course.
User: jakubgrobelny
statically-typed,Map lazy functional language constructs to LLVM IR
User: jfaure
statically-typed,Faster pathlib for Python
User: juancarlospaco
Home Page: https://juancarlospaco.github.io/thatlib
statically-typed,A statically typed programming language written in Python
User: krobix
statically-typed,Statically typed, embeddable, scripting language written in Zig.
User: luukdegram
Home Page: https://github.com/Luukdegram/luf
statically-typed,Add static type information into Python abstract syntax trees.
User: mbdevpl
statically-typed,Rust Implementation of Ladder-Types (parsing, unification, rewriting, etc)
User: michaelsippel
statically-typed,tiny utility program for type-analysis of shell pipelines based on ladder-typing
User: michaelsippel
statically-typed,Compiler of a small Scala subset
User: mykolav
Home Page: https://mykolav.github.io/coollang-2020-fs/
statically-typed,[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
User: na0214
statically-typed,Generate code for merging structs
User: nukesor
statically-typed,The parallel, concurrent, and functional programming language for scalable software development
Organization: pen-lang
Home Page: https://pen-lang.org
statically-typed,Statically-typed Finite State Machine and Pushdown Automaton implemented with Rust procedural macro
User: retamogordo
statically-typed,An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
User: roldak
statically-typed,Statically typed properties for object literals
User: ryanmorr
statically-typed,Interpreter of a toy, Go-like, imperative, statically typed language implemented in Haskell.
User: rzetelskik
statically-typed,A statically typed programming language for scientific computations with first class support for physical dimensions and units
User: sharkdp
Home Page: https://numbat.dev
statically-typed,Lala programming language
User: soniachrn
statically-typed,A static strongly typed object oriented programming language with focus on composition
User: sunverwerth
statically-typed,What would Rust with the simplicity of TypeScript look like? This is my take.
User: vimhax
statically-typed,An experimental project for statically typed scripting language.
User: white-green
statically-typed,A toy compiler for a statically typed language
User: xrxr
statically-typed, ๐ง (Alpha stage software) A declarative data definition language for formally specifying binary data formats. ๐ง
Organization: yeslogic
statically-typed,Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
User: zaid-ajaj
statically-typed,OCaml inspired language
User: zazedd
A declarative, efficient, and flexible JavaScript library for building user interfaces.
๐ Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
The Web framework for perfectionists with deadlines.
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. ๐๐๐
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
We are working to build community through open source technology. NB: members must have two-factor auth.
Open source projects and samples from Microsoft.
Google โค๏ธ Open Source for everyone.
Alibaba Open Source for everyone
Data-Driven Documents codes.
China tencent open source team.