iraikov/TAL iraikov/TAL

  • Stars
    star
    1
  • Language Standard ML
  • License
    GNU General Publi...
  • Created over 10 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
iraikov/TAL
github

iraikov

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

An implementation of Morrisett's Typed Assembly Language

More Repositories

1

chicken-pyffi

Chicken Scheme interface to Python
Scheme
14
star
2

chicken-lmdb

Chicken Scheme bindings for the LMDB key value database
Scheme
7
star
3

chicken-lexgen

Lexer and parser combinators in Chicken Scheme
Scheme
5
star
4

neuroh5

An HDF5-based library for parallel I/O operations on data structures for large-scale neural networks
C++
5
star
5

salt

Hybrid dynamical systems modeling.
Scheme
5
star
6

tensor

Standard ML tensor/multidimensional array library
Standard ML
5
star
7

chicken-mpi

Message-passing Interface (MPI) bindings for Chicken Scheme
Scheme
4
star
8

dmosopt

Distributed surrogate-assisted evolutionary methods for multi-objective optimization of high-dimensional dynamical systems
Python
4
star
9

chicken-matrix-utils

Matrix utility operations in Chicken Scheme
Scheme
3
star
10

chicken-abnf

Parser combinators for Augmented BNF grammars (RFC 4234)
Scheme
3
star
11

chicken-lapack

Chicken Scheme bindings for ATLAS and LAPACK
Scheme
3
star
12

nengo_maze_env

Jupyter Notebook
3
star
13

chicken-smtp

Parser combinators and state machine for Simple Mail Transfer Protocol (RFC 5321).
Scheme
2
star
14

chicken-unitconv

Conversion of units of measurement
Scheme
2
star
15

chicken-plot

Chicken Scheme interface to GNU libplot, a library for device-independent two-dimensional vector graphics
Scheme
2
star
16

kdtree

KD tree implementation in Standard ML / MLton
Standard ML
2
star
17

chicken-csv-abnf

Parsing and formatting of comma-separated values (CSV) according to RFC 4180
Scheme
2
star
18

chicken-dataframe

Tabular data structure for data analysis in Scheme
Scheme
2
star
19

chicken-internet-message

Parser combinators for Internet Message Format (RFC 5322).
Scheme
1
star
20

mpi-mlton

MPI bindings for Standard ML / MLton
Standard ML
1
star
21

secdm

Arithmetic expression compiler based on the SECD machine
Standard ML
1
star
22

chicken-kdtree

KD-Tree implementation in Chicken Scheme
Scheme
1
star
23

RungeKutta.jl

Runge-Kutta methods in Julia
Julia
1
star
24

chicken-json-abnf

Parser combinators for JavaScript Object Notation (JSON) according to RFC 4627
Scheme
1
star
25

chicken-rbtree

Red-black trees in Chicken Scheme
Scheme
1
star
26

chicken-npdiff

Implementation of an O(NP) sequence comparison algorithm in Chicken Scheme
Scheme
1
star
27

chicken-sundials

Chicken Scheme bindings to SUNDIALS (SUite of Nonlinear and DIfferential/ALgebraic equation Solvers)
Scheme
1
star
28

rklib

Runge-Kutta methods in Standard ML
Standard ML
1
star
29

randmtzig

Standard ML / MLton bindings for an implementation of the MT19937 random number generator with Marsaglia and Tang's Ziggurat algorithm
C
1
star
30

chicken-ersatz

A Scheme template engine inspired by Jinja2 and Jingoo.
Scheme
1
star
31

chicken-posix-mq

Chicken Scheme interface to the POSIX message queues API
Scheme
1
star
32

chicken-rabbit

Chicken Scheme bindings for the Rabbit stream cipher
C
1
star