FundamentSoftware
/ FUNDAMENT / TEAM

Consulting


Our company has provided highly skilled consulting work for several companies and open-source projects. Our areas of expertise include:

  • High-speed computing and low-latency optimizations using hand-rolled assembly and advanced metaprogramming for supercomputer simulations.
  • Compiler design and implementation using Terra and LLVM, implementing Just-In-Time and Ahead-of-Time compilers for executing smart contracts on blockchain networks.
  • Developing end-to-end WebAssembly compilation pipelines, specialized embedding environments, and custom extensions to the WebAssembly standard to allow better C interop behavior.
  • Automatic generation of stack-only logic for tightly constrained embedded systems through a metaprogrammable DSL and compilation system.

In addition to consulting work, most of our employees are available for subcontracting.

Please contact us at for a more detailed roster of our currently available employees, examples of previous work, and to get more information on your company's needs.

    Skills

  • C/C++
  • C#
  • Lua
  • SQL / T-SQL
  • JavaScript
  • Go
  • x86-64 Assembly
  • Terra
  • Python
  • Haskell
  • Rust
  • WebAssembly
  • LLVM

Experience

— 343 Industries —

Designed compile-time obfuscation tools and audited the internal Lua engine for security vulnerabilities.

— Microsoft —

Built testing infrastructure in C# with a NoSQL ORM in Azure and designed an automated product ingestion system.

— inNative —

Created an ahead-of-time WASM compiler using LLVM that produces C ABI compatible binaries and debugging information.

    Skills

  • Lua
  • C/C++
  • Terra
  • C#
  • Lisp
  • Java
  • Python
  • Kotlin
  • JavaScript
  • Scala
  • Lisp
  • Groovy
  • OCaml
  • Nix

Experience

— LIGO —

Optimized and refactored the existing OCaml interpreter, and built a prototype LIGO compiler in Terra with a 10x performance improvement.

— Feather —

Pioneered a new graphics library using advanced metaprogramming techniques for both ease and performance.

— Terra —

Made significant contributions to the core Terra syntax and was selected to design the standard library.

    Skills

  • C/C++
  • C#
  • Lua
  • Rust
  • WebAssembly
  • Websockets
  • LLVM
  • HLSL / DirectX11
  • UWP / WPF and Win32
  • Redis
  • PhysX
  • Unity

Experience

— Cloudsdale —

Built a Windows phone app for the chat service with UWP, using the Bayeux protocol over websockets, and ported the push notification server to Rust using Tokio.

— inNative —

Implemented multithreading and atomic operators proposal, added bulk memory instructions, and fixed several bugs in LLVM’s JIT engine.

    Skills

  • Lua
  • Terra
  • Clojure
  • Python
  • Scheme
  • SQL/SQLite
  • Dart
  • Nix
  • PostgreSQL
  • Android SDK
  • Emacs-Lisp

Experience

— LIGO —

Optimized and refactored the OCaml LIGO interpreter, and assisted with tracking down difficult-to-find bugs.

— Terra-Mode —

Refactored the editor mode for Terra, correcting formatting and laying groundwork for a language server.

— Feather —

Wrote syntax extensions to allow cross-scope lexical bindings, cutting boilerplate code for a savings of 10%-30%.