#
statically-typed
Here are 34 public repositories matching this topic...
Functional programming inspired by ML for the Erlang VM
-
Updated
Jun 13, 2020 - Erlang
Minimal, efficient, statically-typed and meta-programmable systems programming language heavily inspired by Lua, which compiles to C and native code.
c
language
programming-language
lua
compiler
minimal
metaprogramming
luajit
efficient
statically-typed
nelua
-
Updated
Jul 30, 2021 - Lua
A statically typed functional programming language for the web.
-
Updated
May 10, 2021 - Elixir
language
rust
parser
dependent-types
compiler
binary-data
dsl
declarative
data-description-language
type-system
statically-typed
type-checker
binary-format
dependent-record-types
-
Updated
Jul 30, 2021 - Rust
Strongly typed Linq and Collections implementation for Javascript and TypeScript (ECMAScript 5)
-
Updated
Nov 11, 2020 - TypeScript
An ML-inspired statically-typed Erlang
programming-language
erlang
ocaml
actor-model
monad
concurrent-programming
type-system
process-calculus
statically-typed
module-system
f-ing-modules
sesterl
-
Updated
Jul 21, 2021 - OCaml
A concurrent programming language based on linear types
-
Updated
Aug 29, 2020 - Haskell
A statically-typed variant of Lox, written in TypeScript
-
Updated
May 30, 2021 - TypeScript
Map lazy functional language constructs to LLVM IR
programming-language
compiler
llvm
lambda-calculus
concurrent-programming
statically-typed
pi-calculus
-
Updated
Jun 21, 2019 - Haskell
Luukdegram
commented
Sep 5, 2020
Some instructions can easily be optimized such as:
const x = 5 + 5 can be optimized to const x = 10.
const myFunc = fn() { return 5 } can be optomized to return 5.
A static strongly typed object oriented programming language with focus on composition
-
Updated
Aug 25, 2020 - C++
A statically typed programming language
-
Updated
Apr 7, 2021 - Python
[WIP] A functional programming language based on Coeffect Calculus and Graded Modal Type Theory.
-
Updated
Dec 3, 2020 - OCaml
An imperative, statically-typed toy language
-
Updated
May 5, 2019 - Haskell
Faster pathlib for Python
python
cython
path
speed
type-safe
statically-typed
speedup-python
static-memory-allocation
memory-safe
null-safe
-
Updated
Jun 26, 2021 - Python
Type-safe client-server communication for C# featuring Bridge.NET and NancyFx
-
Updated
Sep 15, 2017 - C#
A scripting language built for speed in world where JavaScript runs on web servers
-
Updated
Apr 25, 2019 - C++
Interpreter written for Prolog course.
interpreter
parsing
cpp
functional-programming
prolog
university-project
ml
transpiler
toy-language
programming-languages
compilers
dcg
logic-programming
statically-typed
parametric-polymorphism
logical-programming
-
Updated
Feb 18, 2020 - Prolog
一种简单的、结构化的、面向过程的、静态类型 & 强类型的编程语言，及其编译器、汇编器与虚拟机的设计与实现 ⬆ ⬆ ⬇ ⬇ ⬅ ➡ ⬅ ➡ 🅱🅰🅱🅰
programming-language
compiler
cpp
virtual-machine
assembler
implementation
strongly-typed
statically-typed
graduation-project
hard-coded
c-like
hand-written
-
Updated
May 16, 2021 - C++
pure, statically typed language compiling to llvm in lua
-
Updated
May 6, 2019 - Lua
A [not-so-soon-to-be] safe programming language closely integrated with various tools for ease of development.
programming-language
generic-programming
introspection
code-generation
strongly-typed
statically-typed
permission-management
-
Updated
Apr 12, 2021 - C++
"Racket" to x86 compiler
-
Updated
May 3, 2019 - OCaml
A toy compiler for a statically typed language
-
Updated
Jan 21, 2019 - Go
Add static type information into Python abstract syntax trees.
-
Updated
Jul 29, 2019 - Python
Statically typed properties for object literals
-
Updated
May 24, 2017 - JavaScript
A compiled language with pythonic code blocks
language
programming-language
performance
parsing
brackets
labels
compilers
pythonic
statically-typed
shape-pointers
size-pointers
-
Updated
Jul 20, 2021 - Python
A statically typed programming language written in Python
-
Updated
Dec 3, 2019 - Python
An experimental Ada-hosted, statically-checked, high-level DSL that compiles to OpenCL kernels.
-
Updated
Jun 15, 2020 - Ada
Hibiscus is a strongly and statically typed compiled programming language that's compiles to LLVM.
programming-language
minimalist
strongly-typed
statically-typed
compiled-language
hibiscus
automatic-typing
-
Updated
Jul 14, 2021 - TypeScript
Improve this page
Add a description, image, and links to the statically-typed topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the statically-typed topic, visit your repo's landing page and select "manage topics."
ES modules are always strict, so it is not needed.